Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-02-20 08:45
c91623e4
View on Github →
fix(RingTheory/Finiteness): stablizes -> stabilizes (
#10736
)
Estimated changes
Modified
Mathlib/RingTheory/Filtration.lean
Modified
Mathlib/RingTheory/Finiteness.lean
added
theorem
Submodule.FG.stabilizes_of_iSup_eq
deleted
theorem
Submodule.FG.stablizes_of_iSup_eq