Fix surjectivity checks for explicit and shifted codomains#21

jduprat merged 1 commit into

facebookresearch:mainfacebookresearch/tensor-layouts:mainfrom

neuralsorcerer:surjneuralsorcerer/tensor-layouts:surjCopy head branch name to clipboard