Documentation

Mathlib.RingTheory.Generators