1: \begin{definition}

2:   \label{deRhamTheorem}

3:    \index{structures in a cohesive $\infty$-topos!de Rham theorem}

4: For $A \in \mathbf{H}_{\mathrm{th}}$ a 0-truncated abelian $\infty$-group object we say that the 

5: \emph{de Rham theorem} for $A$-coefficients holds in $\mathbf{H}_{\mathrm{th}}$ 

6: if for all $X \in \mathbf{H}_{\mathrm{th}}$ the infinitesimal path inclusion

7: of observation \ref{InclusionOfConstantIntoInfinitesimalIntoAllPaths}

8: $$

9:   \mathbf{\Pi}_{\mathrm{inf}}(X) \to \mathbf{\Pi}(X)

10: $$

11: is an equivalence in $A$-cohomology, hence if for all $n \in \mathbb{N}$ we have that 

12: $$

13:   \pi_0 \mathbf{H}_{\mathrm{th}}(\mathbf{\Pi}(X), \mathbf{B}^n A)

14:   \to 

15:   \pi_0 \mathbf{H}_{\mathrm{th}}(\mathbf{\Pi}_{\mathrm{inf}}(X), \mathbf{B}^n A)

16: $$

17: is an isomorphism.

18: \end{definition}