Theorem HopfAlgCat.toBialgHom_id

Modification history