Padmanabhan, Ranganathan, and Yang Zhang. “Commutativity Theorems in Groups With Power-Like Maps”. Journal of Formalized Reasoning 12, no. 1 (January 1, 2019): 1–10. Accessed April 25, 2024. https://jfr.unibo.it/article/view/8751.