Theorem IsSeqCompact.range

Modification history

2024-07-25 07:39
Mathlib/Topology/Sequences.lean
feat(Topology/Sequences): preservation of sequential compactness under continuous functions (#14504) …
Added IsSeqCompact.rangeView on Github →