Theorem Coalgebra.sum_map_tmul_tmul_eq

Modification history