Theorem HopfAlgCat.forget₂_bialgebra_obj

Modification history