doc: don't document Integers as filter#1157

james-d-mitchell merged 3 commits into

semigroups:mainsemigroups/Semigroups:mainfrom

james-d-mitchell:fix-issue-1155james-d-mitchell/Semigroups:fix-issue-1155Copy head branch name to clipboard