mathlib3
feat(tactic/basic): add tactic.rewrite, and sort list
#1039

Merged

feat(tactic/basic): add tactic.rewrite, and sort list #1039

mergify merged 2 commits into master from tactic-basic-rw

jcommelin requested a review 6 years ago

feat(tactic/basic): add tactic.rewrite, and sort list

27a20394

robertylewis approved these changes on 2019-05-17

robertylewis added ready-to-merge

Merge branch 'master' into 'tactic-basic-rw'

44b2909e

mergify merged f633c948 into master 6 years ago

mergify deleted the tactic-basic-rw branch 6 years ago

Reviewers

robertylewis

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone