Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-02-20 21:25 b0eeea46

View on Github →

fix(data/bool): remove simp attribute from commutativity lemmas (#2027)

Estimated changes

modified theorem bool.band_comm
modified theorem bool.band_left_comm
modified theorem bool.bor_comm
modified theorem bool.bor_left_comm
modified theorem bool.bxor_comm
modified theorem bool.bxor_left_comm
added theorem int.bodd_coe