Theorem Set.exists_superset_subset_encard_eq

Modification history