Theorem LinearMap.range_restrictScalars

Modification history

2025-02-25 14:06
Mathlib/Algebra/Module/Submodule/Range.lean
feat(RingTheory): Artinian rings over Jacobson rings (#21904)
Added LinearMap.range_restrictScalarsView on Github →