Theorem Submodule.fg_range

Modification history

2026-01-11 14:20
Mathlib/RingTheory/Finiteness/Basic.lean
chore: tidy results around `Module.Finite` (#33614) …
Added Submodule.fg_rangeView on Github →