theorem :: ZFMISC_1:71

for A, B being set holds bool (A /\ B) = (bool A) /\ (bool B)