Skip to content

Add new simplifier rules#8902

Merged
abadams merged 3 commits intohalide:mainfrom
stevenraphael:sub_rewrite
Dec 16, 2025
Merged

Add new simplifier rules#8902
abadams merged 3 commits intohalide:mainfrom
stevenraphael:sub_rewrite

Commits

Commits on Dec 12, 2025