[[!redirects probability measure]] < [[nlab:probability measure]] category:redirected to nlab