Theorem Mathlib.Tactic.Group.zpow_trick

Modification history