Theorem dirSupClosedOn_Iic

Modification history

2026-10-17 10:55

Mathlib/Order/DirSupClosed.lean

refactor: `isUpperSet_Ixi` → `IsUpperSet.Ixi` (#44929)

Deleted dirSupClosedOn_Iic View on Github →

2026-04-21 16:31

Mathlib/Order/DirSupClosed.lean

feat: miscellaneous results on `DirSupClosed` (#37670)

Added dirSupClosedOn_Iic View on Github →