mathlib3
refactor(data/list): rm redundant eq_nil_of_forall_not_mem
#804

Merged

refactor(data/list): rm redundant eq_nil_of_forall_not_mem #804

digama0 merged 2 commits into master from eq_nil_of_forall_not_mem

refactor(data/list): rm redundant eq_nil_of_forall_not_mem

235dda30

kbuzzard commented on 2019-03-08

cipher1024 assigned

digama0 6 years ago

Merge branch 'master' into eq_nil_of_forall_not_mem

339abed8

digama0 merged 51c31cea into master 6 years ago

digama0 deleted the eq_nil_of_forall_not_mem branch 6 years ago

Reviewers

digama0

kbuzzard

Assignees

digama0

Labels

None yet

Milestone

No milestone