Semidihedral group:SD256

Definition
This group is defined as a member of family::semidihedral group of order $$256 = 2^8$$ and degree $$128 = 2^7$$.