Commit 2024-07-25 07:39 a2037798
View on Github →feat(Topology/Sequences): preservation of sequential compactness under continuous functions (#14504) Add four lemmas about preservation of sequential compactness under (sequentially) continuous functions. Zulip discussion