Padmanabhan, R., & Zhang, Y. (2019). Commutativity Theorems in Groups with Power-like Maps. Journal of Formalized Reasoning, 12(1), 1–10. https://doi.org/10.6092/issn.1972-5787/8751