Generalised Trigonometric Functions of Lean

Currently Under Construction