Rigid Cohomology over Laurent Series Fields | EKB DL