Documentation

Mathlib.Analysis.SpecialFunctions.Trigonometric.Cotangent

Cotangent #

This file contains lemmas about the cotangent function, including useful series expansions.