[[!redirects sigma-continuous valuation]] < [[nlab:sigma-continuous valuation]] category:redirected to nlab