TY - RPRT TI - Formal vector spaces over a local field of positive characteristic AU - Jared Weinstein PY - 2013 UR - https://arxiv.org/abs/1207.6424 ID - 1207.6424 ER -