Commit 2023-10-23 14:19 cf041ccc

View on Github →

chore: fix the names of some Bool lemmas (#7841)

Estimated changes

Modified Mathlib/Combinatorics/SimpleGraph/Basic.lean

Modified Mathlib/Computability/RegularExpressions.lean

Modified Mathlib/Data/Bool/AllAny.lean

Modified Mathlib/Data/Bool/Basic.lean

deleted theorem Bool.coe_bool_iff

added theorem Bool.coe_iff_coe

Modified Mathlib/Init/Data/Bool/Lemmas.lean

deleted theorem Bool.and_coe_iff

added theorem Bool.coe_and_iff

added theorem Bool.coe_or_iff

added theorem Bool.coe_xor_iff

deleted theorem Bool.or_coe_iff

deleted theorem Bool.xor_coe_iff