@misc{indiciaefa94a97c6333, title = {Formulating basic notions of finite group theory via the lifting property}, author = {Misha Gavrilovich}, year = {2019}, url = {https://arxiv.org/abs/1906.01636}, note = {Source identifier: 1906.01636} }