Theorem integral_withDensity_eq_integral_toReal_smul₀

Modification history