Theorem CoalgHom.toLinearMap_eq_coe

Modification history