Theorem Set.Infinite.exists_supset_ncard_eq

Modification history