# Commit 2021-12-27 08:24 7e0b994c

View on Github →feat(topology/compact_convergence): define compact convergence (#10967) And prove that the topology it induces is the compact-open topology

Mathlib v3 is deprecated. Go to Mathlib v4

feat(topology/compact_convergence): define compact convergence (#10967) And prove that the topology it induces is the compact-open topology