Theorem Cardinal.card_le_of_le_ord

Modification history