Adding an example for PRump. #2192

markuspf merged 1 commit intogap-system:mastergap-system/gap:masterfrom

grouptheoryenthusiast:fix/master/prumpgrouptheoryenthusiast/gap:fix/master/prumpCopy head branch name to clipboard