Commit 2024-11-23 09:23 25a3b654
View on Github →feature(Order/SupClosed): Add lemmas for inserting upper or lower bounds into a Sup/Inf closed set (#18740)
Add lemmas for inserting upper or lower bounds into a Sup/Inf closed set.
e.g. When s is sup closed, so is s with ⊤ or ⊥ appended. Similarly for s inf closed.