Commit 2026-03-18 10:19 f3f9265d
View on Github →perf(RingTheory/Ideal/Quotient/HasFiniteQuotients): fix the HasFiniteQuotients instance (#36535)
This instance was removed in #36395 for performance reasons. This PR restores the instance in a form that is more performant.