Homotopy Type Theory Z-algebra > history

Redirected from "(infinity, 1)Prof".

< nonassociative ring