Theorem supClosed_supClosure

Modification history

2026-06-09 16:55

Mathlib/Order/SupClosed.lean

chore(Order/SupClosed): use `to_dual` (#36219)

Modified supClosed_supClosure View on Github →

2023-12-20 15:10

Mathlib/Order/SupClosed.lean

refactor: Closure predicate for `ClosureOperator` (#9153) …

Modified supClosed_supClosure View on Github →

2023-09-04 13:18

Mathlib/Order/SupClosed.lean

feat: Sup-closed sets (#6901) …

Added supClosed_supClosure View on Github →