Theorem Real.Angle.pi_ne_zero

Modification history