Theorem dirSupClosed_Iic
Modification history
2026-10-17 10:55
Mathlib/Order/DirSupClosed.lean
refactor: `isUpperSet_Ixi` → `IsUpperSet.Ixi` (#44929)
Deleted dirSupClosed_IicView on Github →2026-04-21 16:31
Mathlib/Order/DirSupClosed.lean
feat: miscellaneous results on `DirSupClosed` (#37670)
Modified dirSupClosed_IicView on Github →2026-04-02 18:21
Mathlib/Order/DirSupClosed.lean
chore: reorder arguments in `DirSupClosed` (#37277) …
Modified dirSupClosed_IicView on Github →