Theorem Algebra.TensorProduct.lmulEquiv_eq_lidOfCompatibleSMul

Modification history