Theorem Ordinal.card_omega0

Modification history