equal
deleted
inserted
replaced
115 |
115 |
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 |
121 |
121 \newcommand{\htpy}{\simeq} |
122 \newcommand{\htpy}{\simeq} |
122 |
123 |
123 \newcommand{\restrict}[2]{#1{}_{\mid #2}{}} |
124 \newcommand{\restrict}[2]{#1{}_{\mid #2}{}} |
124 \newcommand{\set}[1]{\left\{#1\right\}} |
125 \newcommand{\set}[1]{\left\{#1\right\}} |