mathlib3
fef5124e - feat(order/order_iso_nat): generalize `well_founded.monotone_chain_condition` to preorders (#15073)

Commit

3 years ago

feat(order/order_iso_nat): generalize `well_founded.monotone_chain_condition` to preorders (#15073) We also clean up the spacing throughout the file.

Author

vihdzp

Parents