Conjugate Dolbeault-Poincaré lemma (source code)

= Conjugate Dolbeault-Poincaré lemma

On a <polydisc>, a $\partial$-closed <differential form of type (p, q)> with $p>0$ is $\partial$-exact. Apply the <Dolbeault-Poincaré lemma> to its complex conjugate, whose antiholomorphic degree is $p$.