Ico): succ_top is too aggressive as a simp lemma
#678

Merged

fix(src/data/*/Ico): succ_top is too aggressive as a simp lemma #678

johoelzl merged 2 commits into master from Ico-succ_top

fix(src/data/*/Ico): succ_top is too aggressive as a simp lemma

a239bba7

kim-em requested a review from

johoelzl 7 years ago

digama0 approved these changes on 2019-02-02

cipher1024 assigned

johoelzl 7 years ago

cipher1024 assigned

digama0 7 years ago

Merge branch 'master' into Ico-succ_top

a5b3ec75

johoelzl approved these changes on 2019-02-04

johoelzl merged 5e5f1e25 into master 7 years ago

johoelzl deleted the Ico-succ_top branch 7 years ago

Reviewers

johoelzl

digama0

Assignees

digama0

johoelzl

Labels

None yet

Milestone

No milestone