Library HoTT.Foundations
This file is part of
https
://
github.com
/
mjub
/
hott
.
Require
Export
Foundations.MLTT
.