Comment Comment by 082349872349872 Do I understand properly that in a different universe distributions could have been called prefunctions? parent 082349872349872 2 years ago
