mathlib3
fix(tactic/omega): simplify with mul_one and one_mul
#1344

Merged

Commits

Simplify multiplication by one

skbaek committed 7 years ago
Remove debug trace

skbaek committed 7 years ago
Fix integer version of omega

skbaek committed 7 years ago
Merge branch 'master' into omega-fix

mergify[bot] committed 7 years ago

Loading