Theorem Ordinal.one_le_card

Modification history