Theorem Real.two_mul_arctan_sub_pi

Modification history