Theorem Multiset.prod_map_nonneg

Modification history

2026-02-16 07:36
Mathlib/Algebra/Order/BigOperators/GroupWithZero/Multiset.lean
feat(NumberTheory/Height/Basic): add bounds for sums (#34330) …
Added Multiset.prod_map_nonnegView on Github →