Redirecting to De Rham–Weil theorem