Theorem Real.two_mul_arctan_inv_3_add_arctan_inv_7

Modification history