Theorem Partrec.to₂

Modification history