Theorem ZFSet.mem_inter

Modification history