Theorem Submodule.map_eq_range_iff

Modification history

2026-07-01 17:54
Mathlib/LinearAlgebra/Span/Basic.lean
chore: cleanup API around LinearMap.surjective_domRestrict_iff (#41235) …
Added Submodule.map_eq_range_iffView on Github →