Theorem Coalgebra.sum_tmul_tmul_eq

Modification history