Theorem LinearMap.range_domRestrict

Modification history

2024-10-17 16:19
Mathlib/Algebra/Module/Submodule/Range.lean
feat(Algebra/Module/Submodule): lemmas about `domRestrict` (#17806) …
Added LinearMap.range_domRestrictView on Github →