TY - RPRT TI - Mitchell's Theorem Revisited AU - Thomas Gilton AU - John Krueger PY - 2016 UR - https://arxiv.org/abs/1506.01983 ID - 1506.01983 ER -