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