mathlib

ade8889a - feat(algebra/algebra/basic): An algebra isomorphism induces a group isomorphism between automorphism groups (#6622)

feat(algebra/algebra/basic): An algebra isomorphism induces a group isomorphism between automorphism groups (#6622) Constructs the group isomorphism induced from an algebra isomorphism. Co-authored-by: tb65536 <tb65536@users.noreply.github.com>