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