Commit 2024-03-04 09:02 5f834b3b

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

• depends on: #10492
• depends on: #10502