Homotopy Type Theory Clifford algebra > history

< Clifford algebra