Flyspeck/lemma-1-3-b
From MathWeb
< Flyspeck
Twelf
lemma-1-3-b : |- sin (~ X) == ~ (sin X).
LaTeX
The sine is an odd function.
sin( − x) = − sin(x)
Annotations
Facts about Flyspeck/lemma-1-3-bRDF feed
| Uses symbol | Flyspeck/lemma-1-3-b +, Flyspeck/ bar- +, Flyspeck/sin +, Flyspeck/ til +, and Flyspeck/== + |
| Written in | Twelf +, and LaTeX + |
