Theorem Bialgebra.TensorProduct.map_toAlgHom

Modification history