Theorem Ordinal.card_omega

Modification history