Direct product of Dic12 and Z2

Definition
This group is defined as the defining ingredient::external direct product of the dicyclic group of order 12 and the cyclic group of order 2.