Homotopy Type Theory
multivalued function > history
Redirected from "power-associative magma".
<
multivalued function
category:
redirected to nlab