Theorem Group.preimage_smul_set

Modification history

2025-03-06 06:02

Mathlib/GroupTheory/GroupAction/Pointwise.lean

chore(GroupAction/Pointwise): review API (#22563) …

Modified Group.preimage_smul_set View on Github →

2024-04-13 12:00

Mathlib/GroupTheory/GroupAction/Pointwise.lean

Feat (GroupTheory/GroupAction/Hom/Pointwise) : generalize smul set lemmas to group actions (#12023) …

Added Group.preimage_smul_set View on Github →