Homotopy Type Theory
limit of a binary function approaching a diagonal > history
<
limit of a binary function approaching a diagonal
category:
redirected to nlab