TY - RPRT TI - A proof of Kobayashi's properness criterion from a viewpoint of metric geometry AU - Kento Ogawa AU - Takayuki Okuda PY - 2023 UR - https://arxiv.org/abs/2304.14101 ID - 2304.14101 ER -