Theory of proveit.trigonometry

Trigonometry pertains to relationships of the lengths and angles of triangles and has a strong connection to complex numbers expressed in polar form (e.g., $e^{i \theta} = \cos(\theta) + i \sin(\theta)$).

In [1]:
import proveit
%theory # toggles between interactive and static modes

Local content of this theory

All axioms contained within this theory

This theory contains no axioms directly.