OAI/Analysis/CircleDomains/Modulus/NormalStripImageGreen.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Green's identity on the physical image of a normal-coordinate half rectangle, with its actual Euclidean area measure.

  1. lemma OAI.CircleDomainRigidity.integral_normal_strip_image_rectangle line 12