Homotopy Type Theory
The real projective spaces in homotopy type theory > history
<
The real projective spaces in homotopy type theory
category:
redirected to nlab