Talk:Compact convergence