Theorem List.prod_zpow

Modification history

2025-08-28 01:28
Mathlib/Algebra/BigOperators/Group/List/Basic.lean
feat(Tactic/FieldSimp): rewrite for performance and robustness (#28658) …
Added List.prod_zpowView on Github →