Theorem PSet.mem_pair

Modification history