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

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

Commits

  1. Commits on Oct 18, 2026