Theorem dirSupClosed_singleton

Modification history

2026-10-17 17:39

Mathlib/Order/DirSupClosed.lean

chore(Order/DirSupClosed): fix badly named theorems (#44974) …

Added dirSupClosed_singleton View on Github →