Theorem supClosure_prod

Modification history

2026-06-09 16:55

Mathlib/Order/SupClosed.lean

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

Modified supClosure_prod View on Github →

2024-07-06 09:03

Mathlib/Order/SupClosed.lean

feat: Sublattice generated by a product set (#13823) …

Added supClosure_prod View on Github →