From 40254cc19da214014b82730fc6cfaa6b876a37d6 Mon Sep 17 00:00:00 2001 From: Mike Shulman Date: Wed, 6 Sep 2017 21:45:19 -0700 Subject: [PATCH] Remove one more instance of "graduate lemma" --- examples/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 2.34.1