Theorem Finset.measurable_restrict₂_apply

Modification history