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