Theorem LinearMap.coe_restrict_apply

Modification history

2026-05-15 23:42
Mathlib/Algebra/Module/Submodule/LinearMap.lean
feat: ContinuousLinearMap.restrict (#39344)
Added LinearMap.coe_restrict_applyView on Github →