Theorem Real.Angle.sign_antiperiodic

Modification history