Move single-variable conditions to predicates in rule 1.1.1.3#81

Open

SamUpid wants to merge 9 commits into

JuliaSymbolics:mainfrom

Commits on Jan 12, 2026

Move single-variable conditions to predicates in rule 1.1.1.3
SamUpid
committed

Commits on Jan 16, 2026

Fix merge conflict markers in rule 1.1.1.3
SamUpid
committed
Move single-variable conditions to predicates in rules 3, 4, 12, 13, 14, 16, 23 of section 1.1.1.3
SamUpid
committed

Commits on Feb 9, 2026

Fixed rule 12, 13, 13 and 16 to mitigate the slots remain slots and defslots remain defslots
SamUpid
committed