Commit 2024-03-04 09:02 5f834b3b
View on Github →feat: the ring of integers of the p-th cyclotomic field is a PID if p = 3 or p = 5 (#10683) We prove that the ring of integers of the p-th cyclotomic field is a PID if p = 3 or p = 5. From flt-regular