Theorem Computable.sum_inr

Modification history