Theorem Real.arctan_lt_zero

Modification history