Redirecting to Serre–Swan theorem