Theorem Set.Finite.eq_of_subset_of_encard_le'

Modification history