Merge pull request #1191 from Bolpat/patch-1

Remove big space

Author: mikeshulman

basics.tex

@@ -95,8 +95,8 @@ \chapter{Homotopy type theory}
 geometric\index{geometric realization} realization of an $\infty$-groupoid as a space, and this
 adjunction preserves homotopy theory (this is called the \emph{homotopy
   hypothesis/theorem},
-\index{hypothesis!homotopy}
-\index{homotopy!hypothesis}
+\index{hypothesis!homotopy}%
+\index{homotopy!hypothesis}%
 because whether it is a hypothesis or theorem
 depends on how you define $\infty$-groupoid).  For example, you can
 easily define the fundamental group of an $\infty$-groupoid, and if you