Theorem Subgroup.smul_normal

Modification history

2023-02-01 11:22

Mathlib/GroupTheory/Subgroup/Pointwise.lean

feat: port GroupTheory.Subgroup.Pointwise (#1981)

Added Subgroup.smul_normal View on Github →