feat: Positivity extension for Finset.prod #9365

Stream: PR reviews

[Johan Commelin]

If you love meta code, please review

feat: Positivity extension for Finset.prod #9365

[Yaël Dillies]

Bump. It's still unreviewed two months after

[Yaël Dillies]

For context, this is basically a copy-paste of the Finset.sum extension, so it should be pretty easy to review by comparing