New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Prove Poincaré lemma #11

Open

1 of 3 tasks

urkud opened this issue Nov 29, 2024 · 0 comments

Owner

urkud commented Nov 29, 2024 •

edited by MetalCreator666

Loading

One of the ways (all steps are useful for other goals too):

define interior product, probably under the name ContinuousAlternatingMap.curryFin; see ContinuousAlternatingMap.curryFin #17
prove Cartan identity
follow the Wikipedia proof

The text was updated successfully, but these errors were encountered:

urkud changed the title ~~Prove [Poincaré lemma](https://en.wikipedia.org/wiki/Poincar%C3%A9_lemma)~~ Prove Poincaré lemma

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment