Theorem Function.Periodic.norm_qParam_le_of_one_half_le_im

Modification history