Def Submodule.gciMapComap

Modification history

2024-07-27 07:35

Mathlib/Algebra/Module/Submodule/Map.lean

chore: robustifying for debug.byAsSorry (part 8) (#15149) …

Modified Submodule.gciMapComap View on Github →

2023-10-26 10:03

Mathlib/Algebra/Module/Submodule/Map.lean

chore: move Submodule.{map,comap} to Algebra.Module.Submodule.Map (#7925)

Modified Submodule.gciMapComap View on Github →

2023-02-13 06:07

Mathlib/LinearAlgebra/Basic.lean

feat: port LinearAlgebra.Basic (#1979)

Added Submodule.gciMapComap View on Github →