Theorem ae_eq_of_integral_contMDiff_smul_eq

Modification history

2025-12-18 07:31

Mathlib/Analysis/Distribution/AEEqOfIntegralContDiff.lean

chore: deprecate `smooth` variants of `contMDiff` results (#31326)

Added ae_eq_of_integral_contMDiff_smul_eq View on Github →