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