Structures · Algebra

DistribMulActionSemiHomClass

DistribMulActionSemiHomClass F φ A B states that F is a type of morphisms preserving the additive monoid structure and equivariant with respect to φ. You should extend this class when you extend DistribMulActionSemiHom.

Defined in

Mathlib.GroupTheory.GroupAction.Hom

Shape

4 explicit arguments