Theorem csInf_eq_iff

Modification history

2026-04-02 16:35
Mathlib/Order/ConditionallyCompleteLattice/Basic.lean
feat(Data/ENat): add lemma `ENat.iInf_eq_coe_iff` (#34144)
Added csInf_eq_iffView on Github →