Theorem Partrec.cond

Modification history