Theorem GaussianFourier.verticalIntegral_norm_le

Modification history