OAI/Analysis/CircleDomains/Topology/CompactArcWinding.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Uniform winding bounds for initial portions of a compact simple-arc family, in any continuous angular coordinate on the punctured plane.

  1. def OAI.CircleDomainRigidity.initialArcAngles line 17
  2. theorem OAI.CircleDomainRigidity.compact_initial_arc_lifts_bounded line 26