From: Cyril Cohen <CohenCyril@users.noreply.github.com>
Date: Fri, 8 Sep 2017 09:31:51 +0000 (+0200)
Subject: Merge pull request #77 from mikeshulman/nograd
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=acde4f8f614a6f89d179ba4d806d7d3841339122;p=cubicaltt.git

Merge pull request #77 from mikeshulman/nograd

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

acde4f8f614a6f89d179ba4d806d7d3841339122