Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
multiset.periodic_prod
Modification history
2022-04-25 13:21
src/algebra/periodic.lean
feat(algebra/periodic): add lemmas `periodic.prod`, `periodic.smul`, `antiperiodic.smul` (#13496) …
Added
multiset.periodic_prod
View on Github →