Theorem le_csInf_iff_of_wellFoundedLT

Modification history

2026-09-01 10:17
Mathlib/Order/ConditionallyCompleteLattice/Basic.lean
chore(Order/ConditionallyCompleteLattice/Basic): use `to_dual` for `WellFoundedLT` theorems (#43101) …
Added le_csInf_iff_of_wellFoundedLTView on Github →