Theorem BoundedContinuousFunction.toReal_lintegral_coe_eq_integral

Modification history