Mathlib Changelog
v4
Changelog
About
Github
Theorem
Submodule.map_iInf
Modification history
2025-09-01 13:46
Mathlib/Algebra/Module/Submodule/Map.lean
fix: generalize indexed lattice lemmas to Sort (#29189)
Modified
Submodule.map_iInf
View on Github →
2024-10-01 22:14
Mathlib/Algebra/Module/Submodule/Map.lean
feat: a family of compatible triangularisable endomorphisms are simultaneously triangularisable (#17194)
Added
Submodule.map_iInf
View on Github →