mathlib
45cfb254
- refactor(order/bounded_order): Use `is_min`/`is_max` (#11408)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
refactor(order/bounded_order): Use `is_min`/`is_max` (#11408) Golf `order.bounded_order` and `data.set.basic` using `is_min`/`is_max`.
Author
YaelDillies
Parents
2e1d8d67
Loading