mathlib3
0173319e - feat(order/directed): a subset stable by supremum is `directed_on (≤)` (#16054)

Commit

3 years ago

feat(order/directed): a subset stable by supremum is `directed_on (≤)` (#16054) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

ADedecker

Parents