Theorem HopfAlgebraCat.toBialgHom_id

Modification history