Theorem PSet.mem_insert_iff

Modification history