Enhance test_egg_substitution_fx_xyz to cover symmetry, transitivity, congruence, and substitution - #30

Merged

hzhangxyz merged 3 commits into

mainfrom

copilot/fix-egg-test-example

Dec 23, 2025

Commits on Dec 23, 2025

Initial plan
Copilot
committed
Make test_egg_substitution_fx_xyz more comprehensive by combining symmetry, transitivity, congruence, and substitution

Copilot
and
hzhangxyz
committed
Fix pre-commit formatting issues (remove trailing whitespace)

Copilot
and
hzhangxyz
committed