TY - RPRT TI - A presentation theorem for smooth projective schemes over discrete valuation rings AU - Ning Guo AU - Ivan Panin PY - 2023 UR - https://arxiv.org/abs/2302.02818 ID - 2302.02818 ER -