Theorem EqIffBeqTrue

Modification history

2022-08-24 13:53

Mathlib/Logic/Basic.lean

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

Deleted EqIffBeqTrue View on Github →

2021-07-09 12:40

Mathlib/Logic/Basic.lean

feat(Data/List/Basic): start porting from mathlib (#22) …

Added EqIffBeqTrue View on Github →