theorem that a finite group with a generalized quaternion Sylow 2-subgroup and no non-trivial normal subgroups of odd order has a center of order 2
Nothing in the MetaHistoryBook collection references this item yet.