Theorem Real.arctan_inv_2_add_arctan_inv_3

Modification history

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