Theorem Bialgebra.TensorProduct.lid_toAlgEquiv

Modification history