Theorem CoalgHom.id_toLinearMap

Modification history