mathlib3
fix(tactic/basic): missing `conv` from tactic.basic
#1004

Merged

fix(tactic/basic): missing `conv` from tactic.basic #1004

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

fix(tactic/basic): missing `conv` from tactic.basic

d2d3ce0e

kim-em requested a review 7 years ago

cipher1024 approved these changes on 2019-05-09

cipher1024 added ready-to-merge

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

ce2deb06

mergify merged 91a7fc23 into master 7 years ago

mergify deleted the tactic-basic-converter branch 7 years ago

Reviewers

cipher1024

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone