mathlib3

feat(lift): check whether target is proposition

#1767

Merged