Theorem Ordinal.card_preOmega

Modification history