Homotopy Type Theory
function algebra > history
Redirected from "Burnside marks".
<
function algebra
category:
redirected to nlab