Mathlib Changelog
v4
Changelog
About
Github
Theorem
Submodule.baseChange_eq_span
Modification history
2025-06-17 12:53
Mathlib/LinearAlgebra/TensorProduct/Tower.lean
chore: refactor Submodule.baseChange (#26019)
Added
Submodule.baseChange_eq_span
View on Github →