Theorem Real.sin_arctan_le_zero

Modification history