Documentation

Mathlib.RingTheory.CotangentLocalizationAway