OAI/Analysis/CircleDomains/Reflection/FinitePhaseSides.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Exact circle images and the two sides for every finite reflected phase.

  1. lemma OAI.CircleDomainRigidity.circleReflectionExtension_inside_norm_lt line 14
  2. lemma OAI.CircleDomainRigidity.FiniteJordanConfiguration.PhaseCollar.reflected_boundary_iff line 34
  3. lemma OAI.CircleDomainRigidity.FiniteJordanConfiguration.PhaseCollar.reflected_circle_image line 58
  4. lemma OAI.CircleDomainRigidity.FiniteJordanConfiguration.PhaseCollar.reflected_image_outside_subset line 68