Commit 2022-01-01 13:55 a6c82afb

feat(group_theory/specific_groups/*): computes the exponents of the dihedral and generalised quaternion groups (#11166) This PR shows that the exponent of the dihedral group of order 2n is equal to lcm n 2 and that the exponent of the generalised quaternion group of order 4n is 2 * lcm n 2