Syntax definition cbday

Description: Declare the birthday function for surreal numbers (see df-bday ).

	Ref	Expression
Assertion	cbday	class bday