Remove one more instance of "graduate lemma" - Githubissues

mortberg / cubicaltt

Experimental implementation of Cubical Type Theory

https://arxiv.org/abs/1611.02108

MIT License

567 stars 76 forks source link

Remove one more instance of "graduate lemma" #77

Closed mikeshulman closed 7 years ago