Mathlib Changelog
v4
Changelog
About
Github
Theorem
preimage_smul_setₛₗ_of_units
Modification history
2025-03-06 06:02
Mathlib/GroupTheory/GroupAction/Pointwise.lean
chore(GroupAction/Pointwise): review API (#22563) …
Deleted
preimage_smul_setₛₗ_of_units
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
preimage_smul_setₛₗ_of_units
View on Github →