Theorem subset_infClosure

Modification history

2026-06-09 16:55

Mathlib/Order/SupClosed.lean

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

Deleted subset_infClosure View on Github →

2023-09-04 13:18

Mathlib/Order/SupClosed.lean

feat: Sup-closed sets (#6901) …

Added subset_infClosure View on Github →