Skip to content

Fix InjectionZeroMagma claiming to be bijective - #6767

Open
fingolfin wants to merge 1 commit into
masterfrom
mh-claude/injectionzeromagma
Open

Fix InjectionZeroMagma claiming to be bijective#6767
fingolfin wants to merge 1 commit into
masterfrom
mh-claude/injectionzeromagma

Fix `InjectionZeroMagma` claiming to be bijective

0463fae
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar