Skip to content

Make comparisons is_one, and is_zero consistent for polys#168

Merged
oscarbenjamin merged 1 commit intoflintlib:masterfrom
oscarbenjamin:pr_comparisons
Jul 22, 2024
Merged

Make comparisons is_one, and is_zero consistent for polys#168
oscarbenjamin merged 1 commit intoflintlib:masterfrom
oscarbenjamin:pr_comparisons

Commits

Commits on Jul 22, 2024