Theorem BialgCat.toBialgHom_id

Modification history