fix: uncommitted edits

jamesmckinna · jamesmckinna · commit 177e788af08c · 2025-11-12T17:36:32.000Z
diff --git a/src/Algebra/Consequences/Propositional.agda b/src/Algebra/Consequences/Propositional.agda
@@ -54,7 +54,7 @@ open Base public
   ; comm+distrʳ⇒distrˡ
   ; subst+comm⇒sym
   )
-test = {!sel⇒idem!}
+
 ------------------------------------------------------------------------
 -- Group-like structures
 
