Theorem Set.exists_ne_of_one_lt_ncard

Modification history