Theorem Sigma.smul_def

Modification history

2023-12-08 10:23

Mathlib/GroupTheory/GroupAction/Sigma.lean

chore: Replace `(· op ·) a` by `(a op ·)` (#8843) …

Modified Sigma.smul_def View on Github →

2022-12-07 23:03

Mathlib/GroupTheory/GroupAction/Sigma.lean

feat port: GroupTheory.GroupAction.Sigma (#885) …

Added Sigma.smul_def View on Github →