Theorem FDerivMeasurableAux.d_subset_differentiable_set

Modification history