【线代切片】AᵀAX=0和AX=0同解证明(自用)
发布人