Theorem Partrec₂.comp₂

Modification history