Theorem Ideal.finiteQuotientOfFreeOfNeBot

Modification history

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