Theorem ZFSet.mem_pair

Modification history