Theorem PartialOrder.dirSupClosedOn_singleton

Modification history

2026-10-17 17:39
Mathlib/Order/DirSupClosed.lean
chore(Order/DirSupClosed): fix badly named theorems (#44974) …
Deleted PartialOrder.dirSupClosedOn_singletonView on Github →
2026-04-21 16:31
Mathlib/Order/DirSupClosed.lean
feat: miscellaneous results on `DirSupClosed` (#37670)
Added PartialOrder.dirSupClosedOn_singletonView on Github →