Theorem Finsupp.image_pow_eq_finsuppProd_image

Modification history

2026-02-02 07:19
Mathlib/Data/Finsupp/Weight.lean
feat(RingTheory/MvPolynomial): powers of ideal of variables (#33539) …
Added Finsupp.image_pow_eq_finsuppProd_imageView on Github →