mathlib
8f09b0fb - fix(tactic/omega): simplify with mul_one and one_mul (#1344)

Commit

7 years ago

fix(tactic/omega): simplify with mul_one and one_mul (#1344) * Simplify multiplication by one * Remove debug trace * Fix integer version of omega

References

Author

skbaek

Committer

mergify[bot]

Parents