Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-01-14 04:20
6f41399d
View on Github →
feat: port Data.Set.Pointwise.Iterate (
#1563
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/Data/Set/Pointwise/Iterate.lean
added
theorem
smul_eq_self_of_preimage_zpow_eq_self