Theorem Submodule.fg_map_iff

Modification history

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