[GAP Forum] Group theory related theorem proving by GAP.

[Hongyi Zhao]

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.zhao at gmail.com>
Theory and Simulation of Materials
Hebei Vocational University of Technology and Engineering
No. 473, Quannan West Street, Xindu District, Xingtai, Hebei province