Theorem Ordinal.IsInitial.ord_card

Modification history