Theorem Function.Antiperiodic.const_inv_smul

Modification history