Theorem ClopenUpperSet.clopen

Modification history

2023-11-30 19:19

Mathlib/Topology/Sets/Order.lean

chore: rename most lemmas involving clopen to isClopen (#8720) …

Deleted ClopenUpperSet.clopen View on Github →

2023-02-13 09:48

Mathlib/Topology/Sets/Order.lean

feat: port Topology.Sets.Order (#2232)

Added ClopenUpperSet.clopen View on Github →