OAI/Analysis/CircleDomains/Transfer/ExteriorImageCircuit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The image of an exterior source circle is the actual smooth regular parametrization of its target Jordan boundary.

  1. lemma OAI.CircleDomainRigidity.exterior_image_circle_regular line 12