Add InducedTranslation#1197

flsmith wants to merge 4 commits into

semigroups:mainsemigroups/Semigroups:mainfrom

flsmith:translations-qolflsmith/Semigroups:translations-qolCopy head branch name to clipboard