Theorem bit0_neg

Modification history

2024-07-15 23:26

Mathlib/Algebra/Group/Basic.lean

chore: remove lemmas about bit0/bit1 (#14765) …

Deleted bit0_neg View on Github →

2024-07-15 11:16

Mathlib/Algebra/Group/Basic.lean

chore: remove bit0/bit1 and associated lemmas (#14745) …

Modified bit0_neg View on Github →

2022-12-19 11:23

Mathlib/Algebra/Group/Basic.lean

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

Added bit0_neg View on Github →