Homotopy Type Theory
loop space of a wedge of circles > history
<
loop space of a wedge of circles
category:
redirected to nlab