Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 2 of 2
added mentioning of the Poincaré lemma for 1-forms over 1-connected domains ([here](https://ncatlab.org/nlab/show/Poincaré+lemma#OverNConnectedDomains)) <a href="https://ncatlab.org/nlab/revision/diff/Poincar%C3%A9+lemma/21">diff</a>, <a href="https://ncatlab.org/nlab/revision/Poincar%C3%A9+lemma/21">v21</a>, <a href="https://ncatlab.org/nlab/show/Poincar%C3%A9+lemma">current</a>
added mentioning of the Poincaré lemma for 1-forms over 1-connected domains (here)
diff, v21, current
Fix link to Illusie's notes pano <a href="https://ncatlab.org/nlab/revision/diff/Poincar%C3%A9+lemma/23">diff</a>, <a href="https://ncatlab.org/nlab/revision/Poincar%C3%A9+lemma/23">v23</a>, <a href="https://ncatlab.org/nlab/show/Poincar%C3%A9+lemma">current</a>
Fix link to Illusie’s notes
pano
diff, v23, current