(Translated by https://www.hiragana.jp/)
[2002.09520] Proper actions of discrete groups of affine transformations