Flyspeck/lemma-1-5
From MathWeb
< Flyspeck
Twelf
lemma-1-5 : |- sin (pi / ! 2 - X) == cos X.
LaTeX
Annotations
Facts about Flyspeck/lemma-1-5RDF feed
| Uses symbol | Flyspeck/lemma-1-5 +, Flyspeck/ bar- +, Flyspeck/sin +, Flyspeck/pi +, Flyspeck// +, Flyspeck/! +, Flyspeck/- +, Flyspeck/== +, and Flyspeck/cos + |
| Written in | Twelf + |
