Homotopy Type Theory power-associative magma > history

< power-associative magma