Abelian groups, fields and vector spaces (1989)

by Eugeniusz Kusak, Wojciech Leończuk, Micha�l Muzalewski
Venue:Journal of Formalized Mathematics