Mathlib Changelog
v4
Changelog
About
Github
Theorem
preimage_smul_setₛₗ_of_isUnit_isUnit
Modification history
2025-03-06 06:02
Mathlib/GroupTheory/GroupAction/Pointwise.lean
chore(GroupAction/Pointwise): review API (#22563) …
Added
preimage_smul_setₛₗ_of_isUnit_isUnit
View on Github →