Theorem Algebra.Presentation.ideal_fg_of_isFinite

Modification history

2024-07-01 08:43
Mathlib/RingTheory/Presentation.lean
feat(RingTheory): presentations of algebras (#14271) …
Added Algebra.Presentation.ideal_fg_of_isFiniteView on Github →