# HG changeset patch # User Scott Morrison # Date 1288319820 -32400 # Node ID 805978de888011ef6008d4f097e04e3ddf1588f4 # Parent 9a60488cd2fccd8f33d48cd91ff5a3d94011ae1e fixing a type diff -r 9a60488cd2fc -r 805978de8880 text/intro.tex --- a/text/intro.tex Wed Oct 27 00:08:11 2010 -0700 +++ b/text/intro.tex Fri Oct 29 11:37:00 2010 +0900 @@ -277,7 +277,7 @@ \end{equation*} \end{property} -Properties \ref{property:functoriality} will be immediate from the definition given in +Property \ref{property:functoriality} will be immediate from the definition given in \S \ref{sec:blob-definition}, and we'll recall it at the appropriate point there. Properties \ref{property:disjoint-union}, \ref{property:gluing-map} and \ref{property:contractibility} are established in \S \ref{sec:basic-properties}.