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

Estimated changes