OAI/Analysis/CircleDomains/Topology/PlanarRectangleGreen.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Green's formula for the pullback of an actual smooth planar form on a parameter rectangle. The only input is the existing rectangular divergence theorem.

  1. lemma OAI.CircleDomainRigidity.integral_pulledPlanarForm_curl_rectangle line 14