Theorem Bialgebra.TensorProduct.counit_eq_algHom_toLinearMap

Modification history