Homotopy Type Theory
univariate rational expressions > history
<
rational expression
category:
redirected to nlab