Theorem Set.eq_of_subset_of_card_le

Modification history