Theorem Function.Periodic.norm_qParam_lt_iff

Modification history