Flyspeck/lemma-1-3-a
From MathWeb
< Flyspeck
Twelf
lemma-1-3-a : |- cos (~ X) == ~ (cos X).
LaTeX
The cosine is an even function.
cos( − x) = cos(x)
Annotations
Facts about Flyspeck/lemma-1-3-aRDF feed
| Uses symbol | Flyspeck/lemma-1-3-a +, Flyspeck/ bar- +, Flyspeck/cos +, Flyspeck/ til +, and Flyspeck/== + |
| Written in | Twelf +, and LaTeX + |
