Theorem HopfAlgebraCat.Hom.toBialgHom_injective

Modification history