Theorem Set.Infinite.exists_subset_card_eq

Modification history