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