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