Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-20 09:15 ff40b2c1

View on Github →

chore(algebra/group/basic): lemmas about bit0, bit1, and addition (#14798)

Estimated changes

added theorem bit0_add
added theorem bit0_sub
added theorem bit1_add'
added theorem bit1_add
added theorem bit1_sub
added theorem nat.bit_add'
added theorem nat.bit_add