Theorem HopfAlgCat.forget₂_bialgebra_map

Modification history