Wojciech Leończuk, and Michał Muzalewski. Abelian groups, fields and vector spaces (1990)

by Eugeniusz Kusak
Venue:Formalized Mathematics