Theorem PSet.mem_singleton

Modification history