Theorem Function.Periodic.sInf_add_zsmul_le_integral_of_pos

Modification history