Theorem Submodule.restrictScalars_map

Modification history

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