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

Commit

6 years ago

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

References

Author

fpvandoorn

Committer

mergify[bot]

Parents