mathlib
19a9bdc2 - fix(tactic/omega): reify nonconstant ints and nats (#1748)

Commit

5 years ago

fix(tactic/omega): reify nonconstant ints and nats (#1748)

References

#2700 - Fix merge conflict

Author

skbaek

skbaek

Committer

robertylewis

robertylewis

Parents

Loading