Move a result from fdvses to linear_maps
Move null space, range, and rank-nullity theorem from fdvses into linear_maps