Characteristic of Rings. Prime Fields
Schwarzweller, Christoph, Korniłowicz, ArturVolume:
23
Language:
english
Journal:
Formalized Mathematics
DOI:
10.1515/forma-2015-0027
Date:
January, 2015
File:
PDF, 192 KB
english, 2015