TY - RPRT TI - The Freyd-Mitchell Embedding Theorem AU - Arnold Tan Junhan PY - 2019 UR - https://arxiv.org/abs/1901.08591 ID - 1901.08591 ER -