A K'unneth type equivalence of derived categories of constructible Weil sheaves - 42Papers