Conjugation action on a field on itself

instance ConjAct.distribMulAction₀ {K : Type u_1} [DivisionRing K] : DistribMulAction (ConjAct K) K

Equations

• ConjAct.distribMulAction₀ = DistribMulAction.mk ⋯ ⋯