Metamath Proof Explorer


Syntax definition cbday

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

Ref Expression
Assertion cbday class bday