From b8ff951cd18b62a2759433c9de89a0ee20869dcb Mon Sep 17 00:00:00 2001
From: Scott Morrison <scott.morrison@gmail.com>
Date: Wed, 6 Mar 2024 09:22:21 +1100
Subject: [PATCH] feat: restore Bool.and_xor_distrib_(left|right) (#3604)

I think these were dropped in #3508, and Mathlib needs them.