menu

Return to entry

OrdinalDef
OrdinalInduct
OrdinalCont
OrdinalRec
OrdinalArith
OrdinalInverse
OrdinalFix
OrdinalOmega
OrdinalVeblen
Ordinal

Ordinal.OrdinalInduct

HTML Presentation