Theorem Function.Periodic.norm_qParam

Modification history