Theorem IsUnit.pow

Modification history

2024-01-06 09:51

Mathlib/Algebra/Group/Units.lean

Chore: Move `Units` lemmas earlier (#9461) …

Modified IsUnit.pow View on Github →

2022-12-19 11:23

Mathlib/Algebra/GroupPower/Lemmas.lean

feat port Algebra.GroupPower.Lemmas (#1055) …

Added IsUnit.pow View on Github →