Theorem zpow_bit1

Modification history

2024-05-18 16:15

Mathlib/Algebra/GroupPower/Basic.lean

chore: Delete `Algebra.GroupPower.Basic`, `Algebra.GroupWithZero.Bitwise` (#11855) …

Deleted zpow_bit1 View on Github →

2024-01-16 16:52

Mathlib/Algebra/GroupPower/Basic.lean

chore: Move `zpow` lemmas (#9720) …

Modified zpow_bit1 View on Github →

2022-12-19 11:23

Mathlib/Algebra/GroupPower/Lemmas.lean

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

Added zpow_bit1 View on Github →