Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-27 18:31 359261ef

View on Github →

feat(data/nat): commutativity of bitwise operations (#3956)

Estimated changes

added theorem nat.bitwise_comm
added theorem nat.land_comm
added theorem nat.lor_comm
added theorem nat.lxor_comm