Theorem Real.two_mul_arctan_inv_2_sub_arctan_inv_7

Modification history

2024-02-13 23:17
Mathlib/Analysis/SpecialFunctions/Trigonometric/Arctan.lean
feat: arctangent addition and Machin's formula for π (#9847) …
Added Real.two_mul_arctan_inv_2_sub_arctan_inv_7View on Github →