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)$).

import proveit
%theory # toggles between interactive and static modes

Local content of this theory

common expressions	axioms	theorems	demonstrations

Sub-theories

All axioms contained within this theory

This theory contains no axioms directly.