Theorem CoalgHom.coe_fn_injective

Modification history