Theorem ciInf_eq_ciInf_finset

Modification history

2026-09-03 15:14
Mathlib/Order/ConditionallyCompleteLattice/Finset.lean
chore(Order/ConditionallyCompleteLattice/Finset): use `to_dual` (#43320) …
Deleted ciInf_eq_ciInf_finsetView on Github →
2026-08-12 01:10
Mathlib/Order/ConditionallyCompleteLattice/Finset.lean
feat(Topology/Order): convergence of suprema and infima (#40578) …
Added ciInf_eq_ciInf_finsetView on Github →