Theorem Function.Periodic.abs_qParam_le_of_one_half_le_im

Modification history