OAI/Analysis/CircleDomains/Selection/ChainPotentialBands.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The topological band of the actual chain potential is controlled by the dust toll at its center, once the shrinking jump levels are installed.

  1. theorem OAI.CircleDomainRigidity.chainPotential_cluster_bound line 18
  2. theorem OAI.CircleDomainRigidity.chainPotential_boundary_band line 33