Theorem LinearMap.comap_restrict

Modification history

2026-06-25 07:54
Mathlib/Algebra/Module/Submodule/Map.lean
chore: remove unused instances (#41013) …
Modified LinearMap.comap_restrictView on Github →
2026-05-15 23:42
Mathlib/Algebra/Module/Submodule/Map.lean
feat: ContinuousLinearMap.restrict (#39344)
Added LinearMap.comap_restrictView on Github →