Theorem Function.Periodic.qParam_right_inv

Modification history