Flyspeck/ gt
From MathWeb
< Flyspeck
Twelf
Actual title of this page: >
> : real -> real -> o. %infix none 4 >.
LaTeX
Annotations
Facts about Flyspeck/ gtRDF feed
| Uses symbol | Flyspeck/ gt +, Flyspeck/real +, and Flyspeck/o + |
| Written in | Twelf + |
