# Commit 2023-05-24 14:35 5bfbcca0

View on Github →chore(ring_theory.polynomial.cyclotomic): split file (#19077)
`ring_theory.polynomial.cyclotomic`

is almost 1000 lines long and it can be nicely split.
We also fix some docstring.

chore(ring_theory.polynomial.cyclotomic): split file (#19077)
`ring_theory.polynomial.cyclotomic`

is almost 1000 lines long and it can be nicely split.
We also fix some docstring.