TY - RPRT TI - Formal manifolds: local structure of morphisms, and formal submanifolds AU - Fulin Chen AU - Binyong Sun AU - Chuyun Wang PY - 2025 UR - https://arxiv.org/abs/2501.11312 ID - 2501.11312 ER -