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