On formal analytic Poincaré lemma
scientific article; zbMATH DE number 3747529