Repository navigation

Use `IsZero` instead of comparing with `0*x` in the library - #6708

Merged

fingolfin merged 2 commits into

gap-system:masterfrom

lgoettgens:lg/iszero

Oct 8, 2026

Merged

Use `IsZero` instead of comparing with `0*x` in the library#6708
fingolfin merged 2 commits into
gap-system:masterfrom
lgoettgens:lg/iszero

Commits on Oct 8, 2026
- Use `IsZero` instead of comparing with `0*x` in the library
  lgoettgens
  committed
  dbc7e0d
- Merge remote-tracking branch 'upstream/master' into lg/iszero
  lgoettgens
  committed
  0e63101