mathlib3
feat(tactic/simp_rw): support `<-` in `simp_rw`
#2309

Merged

feat(tactic/simp_rw): support `<-` in `simp_rw` #2309

mergify merged 2 commits into master from simp_rw_left

feat(tactic/simp_rw): support `<-` in `simp_rw`

754686db

Vierkantor added awaiting-review

gebner removed awaiting-review

gebner added ready-to-merge

gebner approved these changes on 2020-04-01

Merge branch 'master' into simp_rw_left

a78d9667

mergify merged 203ebb20 into master 6 years ago

mergify deleted the simp_rw_left branch 6 years ago

Reviewers

gebner

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone