Theorem Bool.coe_xor_iff

Modification history

2026-04-27 20:25
Mathlib/Data/Bool/Basic.lean
chore: Rename Xor' to Xor (#37628) …
Modified Bool.coe_xor_iffView on Github →
2025-09-16 10:17
Mathlib/Data/Bool/Basic.lean
chore: grind annotations in Data/Bool (#29453)
Modified Bool.coe_xor_iffView on Github →
2024-07-16 14:28
Mathlib/Data/Bool/Basic.lean
chore(Data/Bool): merge Init.Data.Bool.* into Data.Bool.Basic (#14769)
Modified Bool.coe_xor_iffView on Github →
2023-10-23 14:19
Mathlib/Init/Data/Bool/Lemmas.lean
chore: fix the names of some `Bool` lemmas (#7841)
Added Bool.coe_xor_iffView on Github →