Theorem Mathlib.Tactic.Group._zpow_trick_one'

Modification history

2026-04-25 07:57
Mathlib/Tactic/Group.lean
chore: clean up `group` (#38491) …
Added Mathlib.Tactic.Group._zpow_trick_one'View on Github →