From 1098b7dfd5a9760f46529c6f23e219ed75d968de Mon Sep 17 00:00:00 2001
From: ldiedering <129694072+ldiedering@users.noreply.github.com>
Date: Mon, 10 Jun 2024 11:29:05 +0200
Subject: [PATCH] Fix dependency and added leanok in Section 10.1 (#24)

---
 blueprint/src/chapter/main.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/blueprint/src/chapter/main.tex b/blueprint/src/chapter/main.tex
index c1d72412..439c613f 100644
--- a/blueprint/src/chapter/main.tex
+++ b/blueprint/src/chapter/main.tex
@@ -6364,6 +6364,7 @@ \section{The classical Carleson theorem}
 \begin{lemma}[smooth
 approximation]
 \label{smooth-approximation}
+\leanok
 The function $f_0$ is $2\pi$-periodic.
 The function $f_0$ is smooth (and therefore measurable).
 The function $f_0$ satisfies for all $x\in \R$:
@@ -6743,7 +6744,7 @@ \section{Smooth functions.}
 
 \begin{lemma}
 \label{convergence-for-twice-contdiff}
-\uses{convergence-of-coeffs-summable}
+\uses{fourier-coeff-derivative,convergence-of-coeffs-summable}
 \leanok
 Let $f:\R \to \C$ be $2\pi$-periodic and twice continuously differentiable. Then
 \begin{equation}