OAI/Analysis/CircleDomains/Selection/PotentialPhysicalPlateaus.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Simultaneous exact plateaus, global energy, and quotient bands for the actual barrier.

  1. theorem OAI.CircleDomainRigidity.potential_physical_smoothing_with_plateaus line 19