equal
deleted
inserted
replaced
116 \newcommand{\into}{\hookrightarrow} |
116 \newcommand{\into}{\hookrightarrow} |
117 \newcommand{\onto}{\twoheadrightarrow} |
117 \newcommand{\onto}{\twoheadrightarrow} |
118 \newcommand{\iso}{\cong} |
118 \newcommand{\iso}{\cong} |
119 \newcommand{\actsOn}{\circlearrowright} |
119 \newcommand{\actsOn}{\circlearrowright} |
120 \newcommand{\isoto}{\xrightarrow{\iso}} |
120 \newcommand{\isoto}{\xrightarrow{\iso}} |
|
121 \newcommand{\quismto}{\xrightarrow[\text{q.i.}]{\iso}} |
121 |
122 |
122 \newcommand{\htpy}{\simeq} |
123 \newcommand{\htpy}{\simeq} |
123 |
124 |
124 \newcommand{\restrict}[2]{#1{}_{\mid #2}{}} |
125 \newcommand{\restrict}[2]{#1{}_{\mid #2}{}} |
125 \newcommand{\set}[1]{\left\{#1\right\}} |
126 \newcommand{\set}[1]{\left\{#1\right\}} |