Operations on Univariant Polynomials#3

Merged

dhsorens merged 11 commits intomasterfrom

dhsorens/univariate-quotient-operations

Jan 8, 2026

Commits on Jan 7, 2026

fix: some minor touch ups
dhsorens
committed

Commits on Jan 8, 2026

fix: stylistic changes, proof simplification from review bot
dhsorens
committed