Metamath Proof Explorer

Syntax definition ctan

Description: Extend class notation to include the tangent function.

Ref Expression
Assertion ctan 
class tan