Theorem Set.nontrivial_of_mem_mem_ne

Modification history