Flyspeck/arctan
From MathWeb
< Flyspeck
Twelf
arctan : real -> real.
LaTeX
Annotations
Facts about Flyspeck/arctanRDF feed
| Uses symbol | Flyspeck/arctan +, and Flyspeck/real + |
| Written in | Twelf + |
