Database
SURREAL NUMBERS
Conway cut representation
Cuts and Options
cmade
Next ⟩
cold
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cmade
Description:
Declare the symbol for the made by function.
Ref
Expression
Assertion
cmade
Could not format assertion : No typesetting found for class _Made with typecode class