Redirecting to Hilbert–Smith conjecture