Theorem IsLowerSet.infClosed

Modification history

2026-06-03 10:30
Mathlib/Order/SupClosed.lean
chore: use `to_dual` for `SupClosed`/`InfClosed` (#40175) …
Deleted IsLowerSet.infClosedView on Github →
2024-04-16 07:44
Mathlib/Order/SupClosed.lean
chore: tidy various files (#12121)
Modified IsLowerSet.infClosedView on Github →
2024-03-14 10:04
Mathlib/Order/SupClosed.lean
chore: replace `λ` by `fun` (#11301) …
Modified IsLowerSet.infClosedView on Github →
2023-09-28 05:09
Mathlib/Order/SupClosed.lean
feat: Extra `sups` lemmas (#7382)
Added IsLowerSet.infClosedView on Github →