Theorem dirSupClosed_Iic

Modification history

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 →
2026-03-27 16:34
Mathlib/Order/DirSupClosed.lean
chore: new file for sets closed under directed suprema (#37273) …
Modified dirSupClosed_IicView on Github →
2023-12-07 22:44
Mathlib/Topology/Order/ScottTopology.lean
feat: Scott topology on a preorder (#2508) …
Added dirSupClosed_IicView on Github →