Theorem orderOf_le_card_univ

Modification history