Theorem set_fintype_card_le_univ

Modification history