Theorem dirSupClosedOn_singleton

Modification history

2026-10-17 17:39

Mathlib/Order/DirSupClosed.lean

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

Added dirSupClosedOn_singleton View on Github →