Commit 2024-11-25 12:42 beb3168d
View on Github →feat: additivize equivariance of morphisms of actions (#19171)
Additivize the definition of equivariant morphisms with respect to multiplicative actions.
The notation introduced is X →ₑᵥ[φ] Y for equivariant morphisms, and X →ᵥ[M] Y when the
underlying map is identity.
The goal is to be able to fully additivize the properties of blocks for actions and the definition
of primitive actions in #12052