Theorem Submodule.finiteQuotientOfFreeOfRankEq

Modification history

2025-03-15 16:04
Mathlib/LinearAlgebra/FreeModule/Finite/Quotient.lean
chore(Ideal/Quotient): change `Fintype` to `Finite` (#22947) …
Added Submodule.finiteQuotientOfFreeOfRankEqView on Github →