Strong limit theorems for empirical halfspace depth trimmed regions

Re-assign community