Commit 2023-03-16 13:33 b3f4f007
View on Github →chore(algebra/order/nonneg/*): Separate floor_ring from field (#18596)
Move the archimedean and floor_ring instances out of algebra.order.nonneg.field into a new file algebra.order.nonneg.floor.