Theorem DirSupClosed.dirSupClosedOn

Modification history

2026-04-03 20:24
Mathlib/Order/DirSupClosed.lean
feat: `DirSupClosedOn` (#37616) …
Added DirSupClosed.dirSupClosedOnView on Github →