mathlib
8d7f093b - fix(tactic/omega): use eval_expr' (#1711)

Commit

6 years ago

fix(tactic/omega): use eval_expr' (#1711) * fix(tactic/omega): use eval_expr' * add test

References

Author

digama0

Committer

mergify[bot]

Parents