It is well known that the ring of modular forms over $\mathbb{C}$ is $$ \mathbb{C}[c_4,c_6] $$ where $$ c_4 = 1+240 q + \cdots,\qquad c_6 = 1-504 q - \cdots $$ are the standard Eisenstein series, and the discriminant $$ \Delta= q - 24 q^2 + \cdots $$ satisfies $$ c_4^3-c_6^2=1728 \Delta. $$
You can use elliptic curves over $\mathbb{Z}$ to define modular forms over $\mathbb{Z}$, and then the resulting ring of integral modular forms is known to be given by $$ \mathbb{Z}[c_4,c_6,\Delta]/(c_4^3-c_6^2-1728 \Delta), $$ cf. Deligne après Tate.
My question is as follows:
You can instead consider a subring of $\mathbb{C}[c_4,c_6]$ containing modular forms over $\mathbb{C}$ whose Fourier coefficients (in $q$) are all integers. Clearly this subring includes $\mathbb{Z}[c_4,c_6,\Delta]/(c_4^3-c_6^2-1728 \Delta)$. Is it known/shown/easy to see that they are actually equal?