Theorem Finset.measurable_restrict₂

Modification history