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
Ascii
Unicode
Syntax definition
cle
Description:
Extend wff notation to include the 'less than or equal to' relation.
Ref
Expression
Assertion
cle
$${class}\le $$