Theorem Bialgebra.TensorProduct.assoc_toAlgEquiv

Modification history