OAI/Analysis/CircleDomains/Modulus/WeightedJordanCovers.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Actual Jordan fillings of finite-weight regular levels. The selected frontiers retain the original regular-level equation and weighted bound.

  1. theorem OAI.CircleDomainRigidity.exists_finite_weighted_jordan_cover line 16