Theorem MonoidHom.preimage_smul_setₛₗ

Modification history

2024-04-13 12:00
Mathlib/GroupTheory/GroupAction/Pointwise.lean
Feat (GroupTheory/GroupAction/Hom/Pointwise) : generalize smul set lemmas to group actions (#12023) …
Added MonoidHom.preimage_smul_setₛₗView on Github →