Homotopy Type Theory The real projective spaces in homotopy type theory > history

< The real projective spaces in homotopy type theory