Documentation

FormalBook.Mathlib.Analysis.SpecialFunctions.Trigonometric.Arctan

source
@[simp]
theorem arctan_sqrt_three :
Real.arctan √3 = Real.pi / 3