Vectors in real linear space. (1990)

by Wojciech A Trybulec
Venue:Formalized Mathematics,