Def MulAut.conj

Modification history

2025-02-25 16:16

Mathlib/Algebra/Group/Aut.lean

chore: separate the automorphism groups from their tautological action (#22141) …

Deleted MulAut.conj View on Github →

2022-12-21 05:22

Mathlib/Algebra/Hom/Aut.lean

feat: port Algebra.Hom.Aut (#1111) …

Added MulAut.conj View on Github →