Theorem Real.Angle.sin_zero

Modification history