Theorem InfClosed.iInf_mem

Modification history

2026-06-09 16:55
Mathlib/Order/SupClosed.lean
chore(Order/SupClosed): use `to_dual` (#36219)
Deleted InfClosed.iInf_memView on Github →
2024-12-10 17:02
Mathlib/Order/SupClosed.lean
feat: sup-closed sets are closed under finite suprema (#18990) …
Added InfClosed.iInf_memView on Github →