Documentation

Mathlib.Algebra.Ring.Action.ConjAct

Conjugation action of a ring on itself #

source
instance ConjAct.unitsMulSemiringAction {R : Type u_1} [Semiring R] :
MulSemiringAction (ConjAct Rˣ) R
Equations