Theorem Real.two_mul_arctan_add_pi

Modification history