Theorem IsSeqCompact.image

Modification history

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