Theorem WithBot.sSup_empty

Modification history

2026-08-10 08:17

Mathlib/Order/ConditionallyCompleteLattice/Basic.lean

chore(order/ConditionallyCompleteLattice): use `to_dual` more (#41558) …

Deleted WithBot.sSup_empty View on Github →

2024-06-11 23:44

Mathlib/Order/ConditionallyCompleteLattice/Basic.lean

chore: fix junk value for `sInf` on `WithTop` (#13717) …

Added WithBot.sSup_empty View on Github →