Theorem Partrec.merge

Modification history