Theorem ciSup_eq_ciSup_finset

Modification history

2026-08-12 01:10
Mathlib/Order/ConditionallyCompleteLattice/Finset.lean
feat(Topology/Order): convergence of suprema and infima (#40578) …
Added ciSup_eq_ciSup_finsetView on Github →