Merge pull request #77 from mikeshulman/nograd
authorCyril Cohen <CohenCyril@users.noreply.github.com>
Fri, 8 Sep 2017 09:31:51 +0000 (11:31 +0200)
committerGitHub <noreply@github.com>
Fri, 8 Sep 2017 09:31:51 +0000 (11:31 +0200)
commitacde4f8f614a6f89d179ba4d806d7d3841339122
treeb326a4e8350fd3ce3bbb41d7648432be19c5081f
parenta331f1d355c5d2fc608a59c1cbbf016ea09d6deb
parent40254cc19da214014b82730fc6cfaa6b876a37d6
Merge pull request #77 from mikeshulman/nograd

Remove one more instance of "graduate lemma"