text/a_inf_blob.tex
changeset 329 eb03c4a92f98
parent 325 0bfcb02658ce
child 337 f77cb464248e
equal deleted inserted replaced
328:bc22926d4fb0 329:eb03c4a92f98
   219 
   219 
   220 \nn{need to prove a version where $E$ above has dimension $m<n$; result is an $n{-}m$-category}
   220 \nn{need to prove a version where $E$ above has dimension $m<n$; result is an $n{-}m$-category}
   221 
   221 
   222 \medskip
   222 \medskip
   223 
   223 
       
   224 \todo{rephrase this}
   224 \begin{cor}
   225 \begin{cor}
   225 \label{cor:new-old}
   226 \label{cor:new-old}
   226 The new-fangled and old-fashioned blob complexes are homotopic.
   227 The new-fangled and old-fashioned blob complexes are homotopic.
   227 \end{cor}
   228 \end{cor}
   228 \begin{proof}
   229 \begin{proof}