OAI/Analysis/CircleDomains/Rigidity/FiniteInnerFluxLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The actual inner-circle estimates hold simultaneously on every finite family of matched disks.

  1. theorem OAI.CircleDomainRigidity.MatchedConformalEnds.finite_inner_quadrantFlux_limiting_bound line 16