Def Algebra.SubmersivePresentation.coeffs

Modification history

2026-07-24 07:15
Mathlib/RingTheory/Extension/Presentation/Core.lean
chore: add missing `noncomputable` (#41446) …
Deleted Algebra.SubmersivePresentation.coeffsView on Github →
2026-01-07 13:28
Mathlib/RingTheory/Extension/Presentation/Core.lean
feat(RingTheory): noetherian model for etale algebras (#32837)
Added Algebra.SubmersivePresentation.coeffsView on Github →