mathlib3
fix(src/data/*/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
kim-em
kim-em fix(src/data/*/Ico): succ_top is too aggressive as a simp lemma
a239bba7
kim-em kim-em requested a review from johoelzl johoelzl 7 years ago
digama0
digama0 approved these changes on 2019-02-02
cipher1024 cipher1024 assigned johoelzl johoelzl 7 years ago
cipher1024 cipher1024 assigned digama0 digama0 7 years ago
johoelzl Merge branch 'master' into Ico-succ_top
a5b3ec75
johoelzl
johoelzl approved these changes on 2019-02-04
johoelzl johoelzl merged 5e5f1e25 into master 7 years ago
johoelzl johoelzl deleted the Ico-succ_top branch 7 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
Labels
Milestone