20. Trigonometric functions🔗

Mathlib contains definitions for the standard trigonometric functions. We outline some related theory here.

To get some notation below we first open a scope:

1. 20.1. Basic definitions
2. 20.2. Basic properties
3. 20.3. Special values and identities