Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-03-18 10:25
bce046c5
View on Github →
refactor: rename instances in
Algebra.Module.Submodule.Basic
(
#2967
)
Estimated changes
Modified
Mathlib/Algebra/Module/Submodule/Basic.lean
modified
def
Submodule.restrictScalars
modified
def
Submodule.restrictScalarsEmbedding