Skip to content

Use preimages instead of inverse of zero injection - #1238

Open
fingolfin wants to merge 1 commit into
semigroups:stable-5.7from
fingolfin:mh/injectionzeromagma
Open

Use preimages instead of inverse of zero injection#1238
fingolfin wants to merge 1 commit into
semigroups:stable-5.7from
fingolfin:mh/injectionzeromagma

Use preimages instead of inverse of zero injection

1cfdd6e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
cpplint
succeeded Oct 18, 2026 in 8s