missing leanok

Author: fpvandoorn

blueprint/src/chapter/main.tex

@@ -187,9 +187,9 @@ \chapter{Introduction}
 
 \begin{theorem}[linearised metric Carleson]
 \label{linearised-metric-Carleson}
-%\leanok
-%\lean{lin_metric_carleson}
-%\uses{R-truncation}
+\leanok
+\lean{linearized_metric_carleson}
+%\uses{R-truncation} % todo
     For all integers $a \ge 4$ and real numbers $1<q\le 2$
     the following holds.
     Let $(X,\rho,\mu,a)$ be a doubling metric measure space. Let $\Mf$ be a