search for:
finite field extensions
toField
-- declare that a ring is a field
search for: