OAI/Analysis/CircleDomains/Modulus/StableBarrierContours.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Choose the actual inner Jordan contours together with open plateau neighborhoods and a common strict stability margin for later tests.

  1. theorem OAI.CircleDomainRigidity.exists_stable_barrier_contours line 15