I say ‘an instance’ as this is quite analogous to the Poincaré conjecture, where it was proved that a [topological] $n$-manifold homotopic to a $n$-sphere is actually homeomorphic to the sphere when $n\geq 5$ by Smale also in the 1960s. There’s an amusing and slightly sorrowful anecdote I was told during my time at Warwick about the late Sir Christopher Zeeman who proved the Poincaré conjecture in dimension 5 shortly before Smale obliterated the problem in all dimensions except 3 and 4. Freedman proved the conjecture in dimension 4 in 1982, before Perelman’s proof for dimension 3 in the early 2000s.