Theorem Bialgebra.TensorProduct.comul_eq_algHom_toLinearMap

Modification history