Documentation

Mathlib.NumberTheory.NumberField.Ideal