Documentation

Mathlib.RingTheory.Invariant