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

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