Theorem Ordinal.card_le_one

Modification history