Theorem integral_const_on_unit_interval

Modification history