Theorem Finset.measurable_restrict

Modification history