Theorem set_integral_withDensity_eq_set_integral_smul

Modification history