Remove one more instance of "graduate lemma"

diff --git a/examples/README.md b/examples/README.md
index da207b964f2fb764da3cf864ac97437d3946d47d..5f06ac056f0b69b68c029c009328ba0e64f494ed 100644 (file)
--- 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.