Theorem tendsto_finsetInf_ciInf

Modification history

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