Mathlib Changelog
v4
Changelog
About
Github
Theorem
Prod.map_iterate
Modification history
2024-07-03 11:27
Mathlib/Data/Prod/Basic.lean
chore: move iterate_prod_map to `Data.Prod.Basic` (#14367) …
Added
Prod.map_iterate
View on Github →