Homotopy Type Theory
rational function > history
<
rational function
category:
redirected to nlab