(* Author: Clemens Ballarin, started 17 July 1997 Summary theory of the development of abstract algebra. *) theory Abstract imports RingHomo Field begin end