Mathlib Changelog
v4
Changelog
About
Github
Def
Submodule.MapSubtype.orderIso
Modification history
2025-06-06 20:05
Mathlib/Algebra/Module/Submodule/Range.lean
style: rename `Submodule.MapSubtype.relIso` to `Submodule.MapSubtype.orderIso` (#25374) …
Added
Submodule.MapSubtype.orderIso
View on Github →