Add your own math project to this wiki!

Flyspeck/ lt-def

From MathWeb

Jump to: navigation, search

Twelf

Actual title of this page: <

 <= : real -> real -> o. %infix none 4 <=.

LaTeX

Flyspeck/ lt-def.tex

Annotations

Retrieved from "http://www.mathweb.org/wiki/Flyspeck/_lt-def"

Categories: Flyspeck/Basics | Definition | Flyspeck/Container page

Facts about Flyspeck/ lt-defRDF feed

Defines	Flyspeck/ lt +
Uses symbol	Flyspeck/ lt= +, Flyspeck/real +, and Flyspeck/o +
Written in	Twelf +

Views

Personal tools

Log in / create account

Search

Toolbox