Theorem DirSupClosedOn.of_isEmpty

Modification history

2026-05-21 00:46
Mathlib/Order/DirSupClosed.lean
feat: club sets (#37677) …
Modified DirSupClosedOn.of_isEmptyView on Github →
2026-04-21 16:31
Mathlib/Order/DirSupClosed.lean
feat: miscellaneous results on `DirSupClosed` (#37670)
Added DirSupClosedOn.of_isEmptyView on Github →