TY - RPRT TI - Formulating basic notions of finite group theory via the lifting property AU - Misha Gavrilovich PY - 2019 UR - https://arxiv.org/abs/1906.01636 ID - 1906.01636 ER -