Theorem ZFSet.insert_nonempty

Modification history