Theorem PSet.mem_insert

Modification history