Theorem Set.Infinite.exists_subset_ncard_eq

Modification history