mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard
verified publisher icon leanprover-community

feat(order/directed): a subset stable by supremum is `directed_on (≤)`

Open ADedecker opened this issue 3 years ago • 0 comments

Open in Gitpod

ADedecker avatar Aug 14 '22 16:08 ADedecker