From 7eeb169b982af90fac9873956e70d2c471555c31 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 26 Jun 2023 10:08:16 +0100
Subject: Finish some proofs and remove unnecessary Admitted

---
 lib/cohpred | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/cohpred')

diff --git a/lib/cohpred b/lib/cohpred
index ebcf34c..763f534 160000
--- a/lib/cohpred
+++ b/lib/cohpred
@@ -1 +1 @@
-Subproject commit ebcf34c3c6041cdf0c96bbf116c3622ea8df4dc9
+Subproject commit 763f5342e01b3f749b1302e8eb124b9067746f5b
-- 
cgit