Theorem ciInf_eq_iff

Modification history

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