All Questions

Let $X$ be a smooth Noetherian scheme over a field $K$. It is known that every coherent module with integrable connection on $X$ is locally free. Is the same true for coherent modules with log-...