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 →