Commutativity Theorems in Groups with Power-like Maps.Published in:Journal of Formalized Reasoning, 2019, v. 12, n. 1, p. 1By:Padmanabhan, R.;Yang ZhangPublication type:Article