Theorem Bialgebra.TensorProduct.assoc_toCoalgEquiv

Modification history