Theorem IsFractionRing.finrank_left_eq

Modification history

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