Flyspeck/ lt-def.elf

Actual title of this page: &lt;

&lt;= : real -&gt; real -&gt; o. %infix none 4 <=.