From 0f9c909817b4e0672d0bb04aa1cfdf67aa0d8536 Mon Sep 17 00:00:00 2001
From: Kent Van Vels <kvanvels@protonmail.com>
Date: Sat, 11 Apr 2026 19:04:48 -0400
Subject: [PATCH] added an import of Section_3_3 in Section_3_5 so we have
 access to function.import

---
 Analysis/Section_3_6.lean | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Analysis/Section_3_6.lean b/Analysis/Section_3_6.lean
index d53d28db..b5a171e1 100644
--- a/Analysis/Section_3_6.lean
+++ b/Analysis/Section_3_6.lean
@@ -1,4 +1,5 @@
 import Mathlib.Tactic
+import Analysis.Section_3_3
 import Analysis.Section_3_5
 
 /-!