Theorem pow_eq

Modification history

2024-01-20 09:50

Mathlib/Algebra/GroupPower/Lemmas.lean

chore: Move lemmas about `Int.natAbs` and `zpowersHom` (#9806) …

Deleted pow_eq View on Github →

2024-01-09 09:25

Mathlib/Algebra/GroupPower/Lemmas.lean

chore: Move `Int` and `Nat` cast lemmas (#9503) …

Modified pow_eq View on Github →

2022-10-27 04:20

Mathlib/Algebra/GroupPower/Lemmas.lean

feat: integer operations in `norm_num` (#507) …

Added pow_eq View on Github →