TY - RPRT TI - Graham Higman's PORC theorem AU - Michael Vaughan-Lee PY - 2018 UR - https://arxiv.org/abs/1808.04145 ID - 1808.04145 ER -