Theorem HopfAlgCat.Hom.toBialgHom_injective

Modification history