TY - RPRT TI - Formal smoothness of the Artin-Mazur formal groups AU - Livia Grammatica PY - 2025 UR - https://arxiv.org/abs/2510.03001 ID - 2510.03001 ER -