Homotopy Type Theory rational function > history

< rational function