Theorem Ordinal.IsInitial.card_lt_card

Modification history