Theorem Set.exists_supset_subset_encard_eq

Modification history