137 \newcommand{\diffeoto}{\xrightarrow[\text{diffeo}]{\iso}}

   137 \newcommand{\diffeoto}{\xrightarrow[\text{diffeo}]{\iso}}

   138 \newcommand{\htpyto}{\xrightarrow[\text{htpy}]{\htpy}}

   138 \newcommand{\htpyto}{\xrightarrow[\text{htpy}]{\htpy}}

   139 

   139 

   140 \newcommand{\restrict}[2]{#1{}_{\mid #2}{}}

   140 \newcommand{\restrict}[2]{#1{}_{\mid #2}{}}

   141 \newcommand{\set}[1]{\left\{#1\right\}}

   141 \newcommand{\set}[1]{\left\{#1\right\}}

   142 \newcommand{\setcl}[2]{\left\{ \left. #1 \;\right| \; #2 \right\}}

   143 \newcommand{\setcl}[2]{\left\{ \left. #1 \;\right| \; #2 \right\}}

   143 \newcommand{\setcr}[2]{\left\{ #1 \;\left| \; #2 \right\}\right.}

   144 \newcommand{\setcr}[2]{\left\{ #1 \;\left| \; #2 \right\}\right.}

   144 \newcommand{\relations}[2]{\left<#1 \;\left| \; #2 \right. \right>}

   145 \newcommand{\relations}[2]{\left<#1 \;\left| \; #2 \right. \right>}

   145 \newcommand{\cone}[3]{C\left(#1 \xrightarrow{#2} #3\right)}

   146 \newcommand{\cone}[3]{C\left(#1 \xrightarrow{#2} #3\right)}

   146 \newcommand{\pairing}[2]{\left\langle#1 ,#2 \right\rangle}

   147 \newcommand{\pairing}[2]{\left\langle#1 ,#2 \right\rangle}