Corrected worst-case complexity of rank for sd_vector