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