关于Python NumPy中切片语法x:y:nj（n为整数）的含义及文档依据的咨询

我最近碰到了这段代码：np.r_[1:2:5j, [0]*6]

通过反复试验，我发现x:y:nj这种写法其实和np.linspace(x,y,n)的作用一致，就是生成起始值到结束值之间的等间距点，比如：

np.r_[1:2:5j] = array([1.  , 1.25, 1.5 , 1.75, 2.])

np.r_[-1:2:6j] = array([-1. , -0.4,  0.2,  0.8,  1.4,  2. ])

不过我有点困惑，这种行为有没有官方文档做过明确说明呢？

备注：内容来源于stack exchange，提问作者C.J. Jackson