Theorem Function.Antiperiodic.const_smul₀

Modification history