Commit 2022-07-12 14:37 fef5124e
View on Github →feat(order/order_iso_nat): generalize well_founded.monotone_chain_condition
to preorders (#15073)
We also clean up the spacing throughout the file.
feat(order/order_iso_nat): generalize well_founded.monotone_chain_condition
to preorders (#15073)
We also clean up the spacing throughout the file.