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