cleanup

EasyCrypt · Mar 20, 2023 · f321ca5 · f321ca5
1 parent ed489ed
commit f321ca5
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/theories/algebra/StdRing.ec b/theories/algebra/StdRing.ec
@@ -43,5 +43,3 @@ instance bring with bool
   proof mulrDl    by smt()
   proof mulrK     by smt()
   proof oppr_id   by smt().
-
-lemma test x : (/\) x x = x by ring.