Theorem Finset.measurable_restrict_apply

Modification history