Homotopy Type Theory loop space of a wedge of circles > history

< loop space of a wedge of circles