[Merged by Bors] - doc(RingTheory/Extension/Generators): fix docstring variable name mismatch#39705

justus-springer wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

justus-springer:justus/Algebra.Generators_doc_typojustus-springer/mathlib4:justus/Algebra.Generators_doc_typoCopy head branch name to clipboard