Theorem Coalgebra.lift_lsmul_comp_counit_comp_comul

Modification history