Hi GAP team, Can I do the group theory related theorem proving, say, Rearrangement Theorem [1], by GAP.
[1] https://mathworld.wolfram.com/RearrangementTheorem.html Regards -- Assoc. Prof. Hongsheng Zhao <hongyi.z...@gmail.com> Theory and Simulation of Materials Hebei Vocational University of Technology and Engineering No. 473, Quannan West Street, Xindu District, Xingtai, Hebei province _______________________________________________ Forum mailing list Forum@gap-system.org https://mail.gap-system.org/mailman/listinfo/forum
