Theorem Bialgebra.TensorProduct.map_toCoalgHom

Modification history