Mathlib Changelog
v4
Changelog
About
Github
Theorem
NeqIffBeqFalse
Modification history
2022-08-24 13:53
Mathlib/Logic/Basic.lean
feat: more lemmas about decide/== (#383)
Deleted
NeqIffBeqFalse
View on Github →
2021-07-09 12:40
Mathlib/Logic/Basic.lean
feat(Data/List/Basic): start porting from mathlib (#22) …
Added
NeqIffBeqFalse
View on Github →