Homotopy Type Theory entire relation > history

< entire relation