⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.

sort factors for all mpoly types#359

Merged

oscarbenjamin merged 4 commits intoflintlib:mainfrom

oscarbenjamin:pr_sort_mpoly_factors

Jan 24, 2026