mathlib
0c476570 - chore(order/symm_diff): add lemma about `bxor` (#14801)

Commit

3 years ago

chore(order/symm_diff): add lemma about `bxor` (#14801)

Author

eric-wieser

eric-wieser

Parents

Loading