Yes you can indeed infer using the 2nd row. but onesided never says that it gives you the minimum set of values that has no redundant information. It just discards ~half on the last dimension, which is also the convention many fft libraries use: e.g., mklfft, fftw, cufft.