Def Algebra.Presentation.coeffs

Modification history

2025-10-07 08:33

Mathlib/RingTheory/Extension/Presentation/Core.lean

feat(RingTheory/Presentation): core of a presentation (#24794) …

Added Algebra.Presentation.coeffs View on Github →