Redirecting to Degree of a field extension