Theorem Function.Periodic.integral_le_sSup_add_zsmul_of_pos

Modification history