Redirecting to Sard's lemma