Theorem Real.four_mul_arctan_inv_5_sub_arctan_inv_239

Modification history

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