Commit 2022-08-24 13:53 93ec19e1

View on Github →

feat: more lemmas about decide/== (#383)

Estimated changes

Modified Mathlib/Data/List/Basic.lean

Modified Mathlib/Logic/Basic.lean

deleted theorem EqIffBeqTrue

deleted theorem NeqIffBeqFalse

added theorem beq_eq_false_iff_ne

modified theorem decide_eq_true_iff