Theorem Real.sin_arctan_eq_zero

Modification history