mathlib3
feat(tactic/auto_cases): run auto_cases on false and psigma
#1428

Merged

feat(tactic/auto_cases): run auto_cases on false and psigma #1428

mergify merged 2 commits into master from auto_cases_false

feat(tactic/auto_cases): run auto_cases on false and psigma

0c3956b5

kim-em requested a review from

cipher1024 6 years ago

kim-em requested a review 6 years ago

rwbarton approved these changes on 2019-09-10

rwbarton added ready-to-merge

Merge branch 'master' into auto_cases_false

42e862af

mergify merged e2f904ec into master 6 years ago

mergify deleted the auto_cases_false branch 6 years ago

Reviewers

rwbarton

cipher1024

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone