Theorem Sigma.smul_mk

Modification history

2022-12-07 23:03
Mathlib/GroupTheory/GroupAction/Sigma.lean
feat port: GroupTheory.GroupAction.Sigma (#885) …
Added Sigma.smul_mkView on Github →