Theorem Function.Antiperiodic.div_inv

Modification history