Commit 2024-12-13 07:22 87843b4f

View on Github →

feat(Algebra/Group/Aut): Automorphism groups of Multiplicative G and Additive G (#19905) This PR adds isomorphisms MulAut (Multiplicative G) ≃* AddAut G and AddAut (Additive G) ≃* MulAut G.

Estimated changes

added def AddAutAdditive