TY - RPRT TI - The embedding property for sorted profinite groups AU - Junguk Lee PY - 2023 DO - 10.1017/jsl.2023.16 UR - https://arxiv.org/abs/2012.14149 ID - 2012.14149 ER -