Update app.py

app.py

@@ -82,10 +82,7 @@ When writing SymPy code to verify solutions:
 from sympy import Matrix, symbols, solve
 
 def analyze_system(A, b):
-    """
-    Analyze a system Ax = b using row reduction.
-    Returns whether solution exists and if it's unique.
-    """
+    'Analyze a system Ax = b using row reduction. Returns whether solution exists and if it's unique.'
     # Augmented matrix [A|b]
     aug = Matrix(A.row_join(b))
     
@@ -143,8 +140,6 @@ if result == "infinite":
 
 Always use this template when working with systems of equations to handle potential linear dependence correctly. """
 
-
-
 def load_proof_repository():
     """Load the proof repository from the repository file"""
     repo_path = Path("Lebl-theorems-all.json")