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