Theorem exists_isClopen_upper_of_not_le

Modification history

2023-11-30 19:19

Mathlib/Topology/Order/Priestley.lean

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

Added exists_isClopen_upper_of_not_le View on Github →