Theorem List.prod_le_pow_length

Modification history

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