Theorem dirSupClosedOn_iff_forall_sSup

Modification history

2026-04-21 16:31
Mathlib/Order/DirSupClosed.lean
feat: miscellaneous results on `DirSupClosed` (#37670)
Added dirSupClosedOn_iff_forall_sSupView on Github →