Theorem RightDerivMeasurableAux.differentiable_set_subset_D

Modification history