Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-15 17:30 04c4abf1

View on Github →

fix(algebra/group): fix bit0_zero to use (0 : alpha) not (0 : nat)

Estimated changes

modified theorem bit0_zero
modified theorem bit1_zero