Theorem Continuous.integral_pos_of_hasCompactSupport_nonneg_nonzero

Modification history