Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Surreal numbers - 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	$class M$