From 0889667b14eff96794ba63405fe633428d32b372 Mon Sep 17 00:00:00 2001
From: MetalCreator666 <57985847+MetalCreator666@users.noreply.github.com>
Date: Mon, 2 Dec 2024 13:06:22 +0100
Subject: [PATCH] update

---
 DeRhamCohomology/DifferentialForm.lean | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/DeRhamCohomology/DifferentialForm.lean b/DeRhamCohomology/DifferentialForm.lean
index da1868a..8e1c6b2 100644
--- a/DeRhamCohomology/DifferentialForm.lean
+++ b/DeRhamCohomology/DifferentialForm.lean
@@ -2,11 +2,6 @@ import Mathlib.Analysis.Calculus.FDeriv.Symmetric
 import DeRhamCohomology.ContinuousAlternatingMap.Curry
 import DeRhamCohomology.ContinuousAlternatingMap.FDeriv
 
-/-
-# Differential Forms
-
--/
-
 noncomputable section
 
 open Filter ContinuousAlternatingMap