mathlib3
feat(lift): check whether target is proposition
#1767

Merged

feat(lift): check whether target is proposition #1767

mergify merged 3 commits into master from lift_prop

feat(lift): check whether target is proposition

c02ead8b

robertylewis commented on 2019-12-03

simplify

01b0ebd7

robertylewis approved these changes on 2019-12-03

robertylewis added ready-to-merge

Merge branch 'master' into lift_prop

1358b095

mergify merged 71247ebe into master 6 years ago

mergify deleted the lift_prop branch 6 years ago

Reviewers

robertylewis

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone