Skip to content

Fix InjectionZeroMagma claiming to be bijective - #6767

Merged
james-d-mitchell merged 1 commit into
masterfrom
mh-claude/injectionzeromagma
Oct 28, 2026
Merged

Fix InjectionZeroMagma claiming to be bijective#6767
james-d-mitchell merged 1 commit into
masterfrom
mh-claude/injectionzeromagma

Commits

  1. Commits on Oct 18, 2026