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