mathlib
3b2cf53d - feat(order/well_founded) Added `strict_mono.id_le_of_wo` (#10732)

Commit

4 years ago

feat(order/well_founded) Added `strict_mono.id_le_of_wo` (#10732) This generalizes `strict_mono.id_le`.

Author

vihdzp

Parents