Theorem Partrec.sumCasesOn_left

Modification history