Theorem Bialgebra.TensorProduct.rid_toAlgEquiv

Modification history