Skip to content

Fix reduction of c1 - (c2 - a) -> c3 + a. #164

Fix reduction of c1 - (c2 - a) -> c3 + a.

Fix reduction of c1 - (c2 - a) -> c3 + a. #164