Theorem Set.measurable_restrict_apply

Modification history