https://github.com/dlicata335/hott-agda
History
Tip revision: 102d4225d49597a9ff28bd7e0e31dda2c5273bb7 authored by ericfinster on 05 May 2014, 17:25:41 UTC
Outline change of base lemmas
Tip revision: 102d422

README

back to top