Holomorphic Poincaré lemma
= Holomorphic Poincaré lemma
On a star-shaped holomorphic coordinate neighbourhood, a closed <holomorphic differential form> of positive degree has a holomorphic primitive. Radial integration gives the homotopy operator. This proves exactness of the <holomorphic de Rham complex> on stalks.