Use preimages instead of inverse of zero injection - #1238

Use preimages instead of inverse of zero injection#1238

james-d-mitchell merged 1 commit into

semigroups:stable-5.7semigroups/Semigroups:stable-5.7from

fingolfin:mh/injectionzeromagmafingolfin/Semigroups:mh/injectionzeromagmaCopy head branch name to clipboard