Commit 2024-12-04 11:42 bbaf1a0e

View on Github →

feat(Logic/Basic): xor_iff_or_and_not_and (#19703) Characterises Xor' as "one or the other but not both". c.f. symmDiff_eq' in Order/SymmDiff

Estimated changes

added theorem xor_iff_or_and_not_and