Homotopy Type Theory James construction > history

< James construction type