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

by
Mariusz Zynel

Venue: | Journal of Formalized Mathematics |

Citations: | 9 - 0 self |