mathlib3
3f4b8368 - feat(order/bounds): add `is_lub_pi` and `is_glb_pi` (#8521)

Commit

4 years ago

feat(order/bounds): add `is_lub_pi` and `is_glb_pi` (#8521)

Author

urkud

urkud

Parents

Loading