Theorem Bool.coe_xor_iff

Modification history

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_iff View 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_iff View on Github →