Commit 2024-11-17 18:08 391a4497
View on Github →feat(Algebra/Group/Aut): Isomorphic groups have isomorphic automorphism groups (#19007) This PR shows that isomorphic groups have isomorphic automorphism groups.
feat(Algebra/Group/Aut): Isomorphic groups have isomorphic automorphism groups (#19007) This PR shows that isomorphic groups have isomorphic automorphism groups.