OAI/Analysis/CircleDomains/Selection/MarkedPhysicalBranches.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The selected marked bands determine common physical branch neighborhoods. Smoothness, projection, and the original widths refer to the same chosen branches.

  1. theorem OAI.CircleDomainRigidity.exists_marked_physical_branches line 17