Commit 2026-09-01 10:17 e8955fb8
View on Github →chore(Order/ConditionallyCompleteLattice/Basic): use to_dual for WellFoundedLT theorems (#43101)
The double primed le_csInf_iff'' lemma for ConditionallyCompleteLinearOrderBot took the place of the single primed le_csInf_iff' which was previously a WellFoundedLT lemma.