Theorem Function.Periodic.im_invQParam_pos_of_abs_lt_one

Modification history