Manuscript Em02-D@4 · Em02-D-v4.tex · section · fcf2fac7
Circle-average derivatives and boundary regularity
Circle-average derivatives and boundary regularity · lines 2318–2323
This lemma is the regularity input for both the leading coarea estimate and the fixed-domain first-correction proof.