Commit 2021-03-18 09:41 216aecd7
View on Github →feat(group_theory/quaternion_group): define the (generalised) quaternion groups (#6683) This PR introduces the generalised quaternion groups and determines the orders of its elements.
feat(group_theory/quaternion_group): define the (generalised) quaternion groups (#6683) This PR introduces the generalised quaternion groups and determines the orders of its elements.