Theorem BialgCat.forget₂_coalgebra_map

Modification history