HomeIsabelle/Phabricator

Finite Fields: Minor improvements to previous commit.