OAI/Analysis/CircleDomains/Topology/CompactArcGeometry.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Compact simple-arc families approach their common terminal point uniformly and stay uniformly away from it on every earlier time interval.

  1. lemma OAI.CircleDomainRigidity.compact_arcs_uniform_terminal line 16
  2. lemma OAI.CircleDomainRigidity.compact_arcs_initial_avoidance line 31