Theorem Bialgebra.TensorProduct.rid_toCoalgEquiv

Modification history