mathlib3
fix(tactic/tauto): use intro1 to deal with negations
#1354

Merged

fix(tactic/tauto): use intro1 to deal with negations #1354

mergify merged 3 commits into master from tauto

fix(tactic/tauto): use intro1 to deal with negations

3ce36cd8

test(tactic/tauto): add tests

b74ffa77

robertylewis requested a review 6 years ago

cipher1024 approved these changes on 2019-08-22

robertylewis added ready-to-merge

Merge branch 'master' into tauto

67bb86d7

mergify merged f74cc70c into master 6 years ago

mergify deleted the tauto branch 6 years ago

Reviewers

cipher1024

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone