Theorem Function.Antiperiodic.const_inv_mul

Modification history