Sei Lisa be86216124 Do -(b + -c) -> -b+c. Also when a-b is transformed to a+-b, fold -b.

2015-03-29 06:09:26 +02:00

55 KiB

Raw Blame History

View Raw