Theorem Primrec.sum_inr

Modification history