Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Jeff Hankins
Refinements
cfne
Next ⟩
df-fne
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cfne
Description:
Extend class definition to include the "finer than" relation.
Ref
Expression
Assertion
cfne
class
Fne