Theorem Set.Finite.eq_of_subset_of_encard_le

Modification history