We prove that, in characteristic 0, any Hasse–Schmidt module structure can be recovered from its underlying integrable connection, and consequently Hasse–Schmidt modules and modules endowed with an integrable connection coincide.

中文翻译：

---

Hasse–Schmidt模块与可集成连接

我们证明，在特征0中，任何Hasse-Schmidt模块结构都可以从其基础可集成连接中恢复，因此，Hasse-Schmidt模块和具有可集成连接的模块是重合的。