Theorem Module.Finite.iff_fg

Modification history

2023-12-30 03:42

Mathlib/RingTheory/Finiteness.lean

chore: Move misplaced lemmas in `Mathlib/LinearAlgebra/FreeModule/Finite/Rank.lean`. (#9301)

Added Module.Finite.iff_fg View on Github →