@misc{indiciae1287f8b6f354, title = {A presentation theorem for smooth projective schemes over discrete valuation rings}, author = {Ning Guo and Ivan Panin}, year = {2023}, url = {https://arxiv.org/abs/2302.02818}, note = {Source identifier: 2302.02818} }