[mizar] typo in mml: "lineary-closed"

[Jesse Alama <alama@stanford.edu>]

There's a typo in the MML: "lineary-closed" (see VECTSP_4:def 1)
should be "linearly-closed".

Jesse

-- 
Jesse Alama (alama@stanford.edu)
*950: Too many schemes (http://www.mizar.org)