Vectors in real linear space (1989)

by Wojciech A Trybulec
Venue:Journal of Formalized Mathematics