Redirecting to Eilenberg–Zilber theorem