Commit 2026-09-30 15:25 ea802d28

fix(GroupTheory/Subgroup/Center): make the additive version of commGroupOfCenterEqTop instance_reducible (#44120) The instance_reducible attribute of Group.commGroupOfCenterEqTop was not transferred to its additive version, which created a diamond on ZMod p. Suggested by @gasparattila. Closes #44097 Prepared with Claude Code 🤖