Theorem TensorProduct.tsmul_eq_smul_one_tuml

Modification history

2025-07-08 14:45
Mathlib/LinearAlgebra/TensorProduct/Basic.lean
chore(LinearAlgebra): replace `tsmul`, `tuml` → `tmul` in lemma name (#26893)
Deleted TensorProduct.tsmul_eq_smul_one_tumlView on Github →
2025-07-02 08:48
Mathlib/LinearAlgebra/TensorProduct/Basic.lean
feat(RingTheory): lemmas about `TensorProduct` and `IsBaseChange` (#26297) …
Added TensorProduct.tsmul_eq_smul_one_tumlView on Github →