Click gv-ss22-10-crossing-lemma-druckversion.pdf link to view the file.