Def Algebra.Presentation.quotientEquiv

Modification history

2026-02-24 10:38
Mathlib/RingTheory/Extension/Presentation/Basic.lean
chore: bump toolchain to v4.29.0-rc2 (#35708)
Deleted Algebra.Presentation.quotientEquivView on Github →
2024-07-01 08:43
Mathlib/RingTheory/Presentation.lean
feat(RingTheory): presentations of algebras (#14271) …
Added Algebra.Presentation.quotientEquivView on Github →