Theorem List.pow_length_le_prod

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.pow_length_le_prodView on Github →