Example 2
Tag 066A, permanent. Cite it as [Bourbaki, Tag 066A].
Algebra, chapter III, § 10. Derivations
Let X be a differentiable manifold of class and let A be the graded -algebra of differential forms on X. The mapping which associates with every differential form on X its exterior differential is an anti-derivation of degree +1 (Differentiable and Analytic Manifolds, R, § 8).*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.