TY  - RPRT
TI  - A Proof of Levi's Extension Lemma
AU  - Marcus Schaefer
PY  - 2019
UR  - https://arxiv.org/abs/1910.05388
ID  - 1910.05388
ER  -