TY - RPRT TI - Formal schemes and formal groups AU - Neil P. Strickland PY - 2000 UR - https://arxiv.org/abs/math/0011121 ID - math/0011121 ER -