Structure AddActionHom

Modification history

2025-06-04 14:26

Mathlib/GroupTheory/GroupAction/Hom.lean

chore: more whitespace fixes (#25437) …

Modified AddActionHom View on Github →

2024-11-25 12:42

Mathlib/GroupTheory/GroupAction/Hom.lean

feat: additivize equivariance of morphisms of actions (#19171) …

Added AddActionHom View on Github →