Theorem Real.sin_arctan_lt_zero

Modification history