Theorem IsLocalization.linearIndepOn_finsetIntegerMultiple

Modification history

2026-07-27 20:26
Mathlib/LinearAlgebra/Dimension/Localization.lean
feat: finrank is preserved by `IsFractionRing` (#41694) …
Added IsLocalization.linearIndepOn_finsetIntegerMultipleView on Github →