Kim Morrison dcff54edb5 chore: notation ^^ for Bool.xor (#5332) ... Not sure why this had been missing. Precedence is slightly higher than `||`, matching the precedence order we have for bitwise operators.		2024-09-18 08:59:11 +00:00
..
Basic.lean	chore: cleanup after export Bool.and/or/not/xor	2024-09-16 12:45:51 +10:00
Lemmas.lean	chore: notation ^^ for Bool.xor (#5332)	2024-09-18 08:59:11 +00:00