Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-09-14 23:26
06be74e4
View on Github →
feat(LinearAlgebra/TensorProduct/Basic): add
range_map_mono
(
#29343
)
Estimated changes
Modified
Mathlib/LinearAlgebra/TensorProduct/Basic.lean
added
theorem
TensorProduct.range_map_mono