mathlib

294e78e7 - feat(algebra/group_with_zero/power): With zero lemmas (#11051)

feat(algebra/group_with_zero/power): With zero lemmas (#11051) This proves the `group_with_zero` variant of some lemmas and moves lemmas from `algebra.group_power.basic` to `algebra.group_with_zero.power`.