Skip to content

Preserve Origins in Ternary Simplifications#231

Closed
rcosta358 wants to merge 1 commit into
mainfrom
preserve-origins-ite
Closed

Preserve Origins in Ternary Simplifications#231
rcosta358 wants to merge 1 commit into
mainfrom
preserve-origins-ite

Commits

Commits on May 22, 2026