Checkstyle.

klinashka · klinashka · commit b692f2fa4663 · 2024-12-19T18:41:57.000+02:00
diff --git a/code/Inductive/ListProperties.v b/code/Inductive/ListProperties.v
@@ -270,8 +270,5 @@ Section Properties.
         * split.
           -- right. apply idpath.
           -- exact b.
-  Qed.
-  
-                
-             
+  Qed.  
 End Properties.
