Theorem ZFSet.mem_insert

Modification history