Documentation

Mathlib.NumberTheory.Cyclotomic.Rat