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