Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-11-27 17:05
fa1d892a
View on Github →
feat: Add
Submodule.restrictScalars_mul
. (
#8649
)
Estimated changes
Modified
Mathlib/Algebra/Algebra/Operations.lean
added
theorem
Submodule.restrictScalars_mul