Theorem Real.arctan_zero

Modification history