Homotopy Type Theory
real Clifford algebra > history
<
Clifford algebra
category:
redirected to nlab