mathlib

62cf5ef7 - feat(group/theory/specific_groups/dihedral): add beginning of iff statement for center

feat(group/theory/specific_groups/dihedral): add beginning of iff statement for center Include a partial proof that an element is central iff it is a member of the explicitly-defined subgroup claimed to be the center.