Theorem Partrec₂.unpaired

Modification history