nLab
trigonometric identity

A trigonometric identity is a commutative diagram in the category of cartesian spaces and partial functions whose edges are labelled by rational functions and trigonometric function?s.

Revised on June 14, 2010 22:57:21 by Toby Bartels (75.88.70.192)