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