Homotopy Type Theory rational homotopy type > history

< rational homotopy type