Theorem HopfAlgCat.toBialgHom_comp

Modification history