Theorem Algebra.TensorProduct.lmul''_eq_lid_comp_mapOfCompatibleSMul

Modification history