Update DimSevenPlane.lean

2024-08-30 22:37:05 +02:00 · 2024-08-30 22:37:05 +02:00 · 8bc8553d88
commit 8bc8553d88
parent 10003a2ba9
1 changed files with 0 additions and 1 deletions
--- a/HepLean/AnomalyCancellation/SMNu/Ordinary/DimSevenPlane.lean
+++ b/HepLean/AnomalyCancellation/SMNu/Ordinary/DimSevenPlane.lean
@ -12,7 +12,6 @@ We give an example of a 7 dimensional plane on which every point satisfies the A

 The main result of this file is `seven_dim_plane_exists` which states that there exists a
 7 dimensional plane of charges on which every point satisfies the ACCs.
-
 -/

 namespace SMRHN