Theorem Ordinal.card_eq_ofNat

Modification history