Padmanabhan, Ranganathan, and Yang Zhang. 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.