Def Algebra.Presentation.core

Modification history

2025-10-07 08:33

Mathlib/RingTheory/Extension/Presentation/Core.lean

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

Added Algebra.Presentation.core View on Github →