Timeline for $G$-invariant de Rham theorem
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 19, 2019 at 20:02 | comment | added | Francois Ziegler | I’m not sure this has the (dR-side) result and proof alluded to by @ThomasRot. On the other hand, I think Chevalley-Eilenberg (1948) have it as Theorem 2.3, attributing the method to, as you said, Cartan (1930). | |
| Dec 19, 2019 at 9:05 | history | answered | Ben McKay | CC BY-SA 4.0 |