Theorem Algebra.TensorProduct.lmul'_apply_tmul

Modification history