Theorem integral_withDensity_eq_integral_toReal_smul

Modification history