Theorem Real.finset_prod_rpow

Modification history

2026-04-26 16:26
Mathlib/Analysis/SpecialFunctions/Pow/NNReal.lean
chore: camel-case `finset_sum` in lemma names (#37793) …
Deleted Real.finset_prod_rpowView on Github →
2023-08-09 15:56
Mathlib/Analysis/SpecialFunctions/Pow/NNReal.lean
feat(Analysis/SpecialFunctions/Pow): powers of finite products (#6470)
Added Real.finset_prod_rpowView on Github →