algebra
character
field
fingroup
real_closed
solvable
ssreflect
