OAI/Analysis/CircleDomains/Selection/RegularPiecePeriodicParametrization.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Actual smooth embedded circles parametrizing the components of a compact regular planar level. The parametrization comes from its tangent flow.

  1. lemma OAI.CircleDomainRigidity.CompactRegularPieceFlow.exists_regular_period_one line 13