Group and field definitions (1990)

by J'ozef Bialas
Venue:Formalized Mathematics