Commutativity Theorems in Groups with Power-like Maps

Ranganathan Padmanabhan, Yang Zhang. Commutativity Theorems in Groups with Power-like Maps. J. Formalized Reasoning, 12(1):1-10, 2019. [doi]

Abstract

Abstract is missing.