Theorem LinearMap.ker_restrictScalars

Modification history

2026-01-29 15:56
Mathlib/Algebra/Algebra/Basic.lean
chore(Algebra): move `LinearMap.ker_restrictScalars` (#33788) …
Modified LinearMap.ker_restrictScalarsView on Github →
2023-02-19 01:12
Mathlib/Algebra/Algebra/Basic.lean
feat: port Algebra.Algebra.Basic (#2244)
Added LinearMap.ker_restrictScalarsView on Github →