P
Initializing...
Poincare's lemma, pointwise form: a closed form on a convex set has a primitive · Prove2Me