mathlib
50d3de92 - feat(logic/basic): a few lemmas about `xor` (#8650)

Commit

4 years ago

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

Author

urkud

urkud

Parents

Loading