mathlib
780cbc98 - feat(tactic/simps): allow let-expressions (#1626)

Commit

6 years ago

feat(tactic/simps): allow let-expressions (#1626) * feat(simps); allow let-expressions * Update src/meta/expr.lean Co-Authored-By: Rob Lewis <Rob.y.lewis@gmail.com>

References

#1626 - feat(tactic/simps): allow let-expressions

Author

fpvandoorn

Committer

mergify[bot]

Parents

d43f7f9c

mathlib 780cbc98 - feat(tactic/simps): allow let-expressions (#1626)

mathlib
780cbc98 - feat(tactic/simps): allow let-expressions (#1626)