Theorem Finset.measurable_prod

Modification history