Skip to content

Update Mathlib/Algebra/RingQuot.lean #37202

Update Mathlib/Algebra/RingQuot.lean

Update Mathlib/Algebra/RingQuot.lean #37202