mathlib3
feat(tactic/{abel,ring}): state conditions of tactics more precisely
#1423

Merged

feat(tactic/{abel,ring}): state conditions of tactics more precisely #1423

mergify merged 3 commits into master from kappelmann_abel

kappelmann requested a review 6 years ago

robertylewis commented on 2019-09-09

feat(tactic/{abel,ring}): state conditions of tactics more precisely

0c8aad4d

kappelmann force pushed from 22d3ef1e to 0c8aad4d 6 years ago

Merge branch 'master' into kappelmann_abel

2fc2d487

robertylewis approved these changes on 2019-09-10

robertylewis added ready-to-merge

Merge branch 'master' into kappelmann_abel

41a8cd6e

mergify merged c87ec0e4 into master 6 years ago

mergify deleted the kappelmann_abel branch 6 years ago

Reviewers

robertylewis

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone