Theorem Algebra.Presentation.localizationAway_dimension_zero

Modification history

2024-10-01 17:04
Mathlib/RingTheory/Presentation.lean
feat(RingTheory/StandardSmooth): composition and localization (#16827) …
Modified Algebra.Presentation.localizationAway_dimension_zeroView on Github →
2024-07-01 08:43
Mathlib/RingTheory/Presentation.lean
feat(RingTheory): presentations of algebras (#14271) …
Added Algebra.Presentation.localizationAway_dimension_zeroView on Github →