OAI/Analysis/CircleDomains/Topology/DisjointSupportedHomeomorphs.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Finite composition of smooth plane deformations supported in disjoint open neighborhoods preserves the exact image assigned to each cap.

  1. lemma OAI.CircleDomainRigidity.homeomorph_maps_set_of_fixed_compl line 14
  2. lemma OAI.CircleDomainRigidity.exists_disjoint_supported_composition line 21