Theorem LinearMap.ker_domRestrict

Modification history

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