Flyspeck/lemma-1-2-b
From MathWeb
< Flyspeck
Twelf
lemma-1-2-b : |- cos (X + Y) == cos X * cos Y - sin X * sin Y.
LaTeX
Annotations
Facts about Flyspeck/lemma-1-2-bRDF feed
| Uses symbol | Flyspeck/lemma-1-2-b +, Flyspeck/ bar- +, Flyspeck/cos +, Flyspeck/ plus +, Flyspeck/== +, Flyspeck/* +, Flyspeck/- +, and Flyspeck/sin + |
| Written in | Twelf + |
