Theorem Bialgebra.TensorProduct.map_tmul

Modification history