Uncomment proof

Commented by accident!
broSysX64 · Jan 15, 2020 · 9d75393 · 9d75393
1 parent 58896ae
commit 9d75393
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tutorial/CatTheory.v b/tutorial/CatTheory.v
@@ -39,7 +39,7 @@ Section CategoryTheory.
              (assoc_r >>>
                       (bimap (id_ J) assoc_r >>>
                              (assoc_l >>> bimap swap (id_ (bif B D)))))).
-  Proof. Admitted. (* cat_auto. Qed. *)
+  Proof. cat_auto. Qed.
 
 End CategoryTheory.