Theorem Bialgebra.TensorProduct.lid_toCoalgEquiv

Modification history