mathlib3
c2e81ddd - fix(tactic/omega): fix omega bugs, add docstring (closes #1484) (#1620)

Commit

6 years ago

fix(tactic/omega): fix omega bugs, add docstring (closes #1484) (#1620) * Fix omega bugs, add docstring * style(tactic/omega/main): trivial cleaning

References

Author

skbaek

Committer

mergify[bot]

Parents