Database
REAL AND COMPLEX NUMBERS
Derive the basic properties from the field axioms
Infinity and the extended real number system
cle
Next ⟩
df-pnf
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cle
Description:
Extend wff notation to include the 'less than or equal to' relation.
Ref
Expression
Assertion
cle
class <_