fix(tactic/omega): simplify with mul_one and one_mul #1344
mergify
merged
4 commits into
leanprover-community:master
from
omega-fix
Simplify multiplication by one
48a9e807
cipher1024
commented
on 2019-08-17
Remove debug trace
f74ea668
Fix integer version of omega
56d27477
robertylewis
approved these changes
on 2019-08-19
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into omega-fix
73978e41
Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub