Theorem BialgCat.toBialgHom_comp

Modification history