Theorem Function.Antiperiodic.const_inv_smul₀

Modification history