Dihedral group:D128

Definition
This group is defined as the member of family::dihedral group of order $$128 = 2^7$$ or, equivalently, the dihedral group of degree $$64= 2^6$$.