michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
lean2/tests/lean/simplifier12.lean.expected.out
Daniel Selsam 00a5cd519e feat(algebra/simplifier): simp rule set for units
2015-11-12 21:23:28 -08:00

1 line
96 B
Text
Raw Permalink Blame History

x2 + (g x1 + (x4 * 5 + (f x1 * 5 + (x2 * (x2 * (f x3 * 3)) + x2 * (f x3 * (g x1 * (3 * 7)))))))
Reference in a new issue View git blame Copy permalink