chore(linear_algebra/basic): generalize add_monoid_hom_lequiv_{nat,int} (#9233)
add_monoid_hom_lequiv_{nat,int}