Skip to content

Commit

Permalink
Fix typo in proof Lemma 0ABI
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Jan 19, 2022
1 parent 6c3975b commit 730487d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion more-groupoids.tex
Original file line number Diff line number Diff line change
Expand Up @@ -2928,7 +2928,7 @@ \section{Finite groupoids}
Hence there exists a point $r_1 \in R$ with $s(r_1) = u_1$
such that $h$ is zero in $t(r_1)$. Since $s$ is finite we
can find a specialization $r_1 \leadsto r_2$ with $s(r_2) = u_2$.
However, then we conclude that $f$ is zero in $u'_2 = t(r_2)$
However, then we conclude that $h$ is zero in $u'_2 = t(r_2)$
which contradicts the fact that $j^{-1}D(h) \cap Z$
is $R$-invariant and $u_2$ is in it. Thus $V$ is open.

Expand Down

0 comments on commit 730487d

Please sign in to comment.