Theorem xor_iff_or_and_not_and

Modification history

2025-07-29 03:01
Mathlib/Logic/Basic.lean
chore: some whitespace fixes (#27485) …
Modified xor_iff_or_and_not_andView on Github →
2024-12-04 11:42
Mathlib/Logic/Basic.lean
feat(Logic/Basic): xor_iff_or_and_not_and (#19703) …
Added xor_iff_or_and_not_andView on Github →