Theorem List.prod_eq_pow_length

Modification history

2026-08-27 06:58
Mathlib/Algebra/BigOperators/Group/List/Defs.lean
chore: card -> length for `List.length` in names (#43155) …
Added List.prod_eq_pow_lengthView on Github →