Proper attribution for symmetric_inverse_monoid_Gay18#232

james-d-mitchell merged 1 commit intolibsemigroups:v1libsemigroups/libsemigroups_pybind11:v1from

james-d-mitchell:rename-funjames-d-mitchell/libsemigroups_pybind11:rename-funCopy head branch name to clipboard