A categorical Künneth formula for constructible étale sheaves - 42Papers