Def Algebra.Generators.baseChange

Modification history

2025-08-21 12:13
Mathlib/RingTheory/Extension/Generators.lean
chore(RingTheory/Generators): make type argument in `localizationAway` and `baseChange` explicit (#28697) …
Modified Algebra.Generators.baseChangeView on Github →
2025-06-02 12:17
Mathlib/RingTheory/Extension/Generators.lean
refactor(RingTheory): unbundle `rels` and `vars` from `Algebra.Presentation` (#25085)
Modified Algebra.Generators.baseChangeView on Github →
2024-07-01 08:43
Mathlib/RingTheory/Generators.lean
feat(RingTheory): presentations of algebras (#14271) …
Added Algebra.Generators.baseChangeView on Github →