From: Mike Shulman <shulman@sandiego.edu>
Date: Thu, 7 Sep 2017 04:45:19 +0000 (-0700)
Subject: Remove one more instance of "graduate lemma"
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=40254cc19da214014b82730fc6cfaa6b876a37d6;p=cubicaltt.git

Remove one more instance of "graduate lemma"
---

diff --git a/examples/README.md b/examples/README.md
index da207b9..5f06ac0 100644
--- a/examples/README.md
+++ b/examples/README.md
@@ -33,7 +33,7 @@ cubicaltt. The files contain:
 * **discor.ctt** - or A B is discrete if A and B are.
 
 * **equiv.ctt** - Definition of equivalences and various results on
-                  these, including the "graduate lemma".
+                  these, including "isoToEquiv".
 
 * **grothendieck.ctt** - This file contains a constuction of the Grothendieck
                          group and a proof of its universal property.