Redirecting to Grothendieck–Katz p-curvature conjecture