Theorem BialgCat.forget₂_coalgebra_obj

Modification history