The Steinitz theorem and the dimension of a vector space (1995)

by Mariusz Zynel
Venue:Journal of Formalized Mathematics
Citations:9 - 0 self