feat(autogram): Do not consider cross-terms - #468

Open

ValerianRey wants to merge 7 commits into

mainfrom

do-not-consider-cross-terms

Commits on Oct 20, 2025

Commits on Oct 23, 2025

Simplify even more:
ValerianRey
committed
949a84e

Commits on Oct 29, 2025

Merge branch 'main' into do-not-consider-cross-terms
ValerianRey
authored
51bb4b9

Commits on Oct 30, 2025

Merge branch 'main' into do-not-consider-cross-terms
ValerianRey
authored
87a539a