update

urkud · Dec 2, 2024 · 0889667 · 0889667
1 parent 0db45ba
commit 0889667
Showing 1 changed file with 0 additions and 5 deletions.
diff --git 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