Theorem BialgCat.Hom.toBialgHom_injective

Modification history