Theorem CoalgHom.comp_toLinearMap

Modification history