mathlib3
feat(well_founded_tactics): patch default_dec_tac
#1419

Merged

feat(well_founded_tactics): patch default_dec_tac #1419

mergify merged 7 commits into master from succ_pos

let simp flip inequalities

5f0e75f0

feat(well_founded_tactics): patch default_dec_tac

ba4b7fa6

kim-em requested a review from

digama0 6 years ago

kim-em requested a review from

avigad 6 years ago

kim-em requested a review 6 years ago

Keeley's suggested syntax, and adding to the docs

eb2b36d7

5d5eaf7f

add docs

20b855ab

Merge branch 'master' into succ_pos

bd9db3ae

robertylewis approved these changes on 2019-09-11

robertylewis added ready-to-merge

Merge branch 'master' into succ_pos

3fcf0d27

mergify merged 140a606a into master 6 years ago

mergify deleted the succ_pos branch 6 years ago

Reviewers

robertylewis

digama0

avigad

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone