Continuity of the Real Tangent Function

Theorem: Continuity of the Real Tangent Function

The real tangent function is continuous (everywhere it is defined).

PROOF

TODO