mathlib3
chore(*): remove 'using_well_founded wf_tacs', fixed in core
#2280

Merged

chore(*): remove 'using_well_founded wf_tacs', fixed in core #2280

mergify merged 4 commits into master from remove_wf_tacs

chore(*): remove 'using_well_founded wf_tacs', fixed in core

e3de6100

robertylewis approved these changes on 2020-03-29

robertylewis added ready-to-merge

Merge branch 'master' into remove_wf_tacs

cc4696d4

robertylewis removed ready-to-merge

robertylewis added ready-to-merge

Merge branch 'master' into remove_wf_tacs

21c4fc89

Merge branch 'master' into remove_wf_tacs

c067d266

mergify merged cf648606 into master 6 years ago

bryangingechen deleted the remove_wf_tacs branch 6 years ago

Reviewers

robertylewis

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone