Theorem TensorProduct.AlgebraTensorModule.smul_eq_lsmul_rTensor
Modification history
2023-08-02 16:24
Mathlib/LinearAlgebra/TensorProduct/Tower.lean
feat: generalize scalars in Algebra.lsmul (#6209) …
Modified TensorProduct.AlgebraTensorModule.smul_eq_lsmul_rTensorView on Github →