mathlib

d23418e0 - feat(algebra/group/inj_surj): Missing transfer instances (#18247)

feat(algebra/group/inj_surj): Missing transfer instances (#18247) Transfer `add_comm_monoid_with_one`/`add_comm_group_with_one` along injective/surjective functions. Also add a missing `reducible` tag.