Theorem Coalgebra.counitCoalgHom_toLinearMap

Modification history