Homotopy Type Theory
power-associative magma > history
<
power-associative magma
category:
redirected to nlab