Theorem Set.exists_subset_or_subset_of_two_mul_lt_ncard

Modification history