PR #1397 feat(logic/basic): exists_eq'

feat(logic/basic): exists_eq' #1397

mergify merged 2 commits into master from ChrisHughes24-patch-1

feat (logic/basic): exists_eq'

3886a88a

ChrisHughes24 requested a review 6 years ago

cipher1024 added ready-to-merge

cipher1024 approved these changes on 2019-09-04

jcommelin commented on 2019-09-04

Merge branch 'master' into ChrisHughes24-patch-1

685019e6

mergify merged 3c224f0c into master 6 years ago

mergify deleted the ChrisHughes24-patch-1 branch 6 years ago

Reviewers

cipher1024

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone