Flyspeck/ plus
From MathWeb
< Flyspeck
Twelf
Actual title of this page: +
+ : real -> real -> real. %infix left 6 +.
LaTeX
Annotations
Facts about Flyspeck/ plusRDF feed
| Uses symbol | Flyspeck/ plus +, and Flyspeck/real + |
| Written in | Twelf + |
