Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-14 00:25 50d3de92

View on Github →

feat(logic/basic): a few lemmas about xor (#8650) Inspired by #8579

Estimated changes

added theorem xor_comm
added theorem xor_false
added theorem xor_self
added theorem xor_true