Don't bind redundant_rull too many times#268

james-d-mitchell merged 1 commit into

libsemigroups:v1libsemigroups/libsemigroups_pybind11:v1from

Joseph-Edwards:remove-overbound-functionsJoseph-Edwards/libsemigroups_pybind11:remove-overbound-functionsCopy head branch name to clipboard