Theorem Function.Periodic.im_invQParam_pos_of_norm_lt_one

Modification history