P
Initializing...
Witt vectors as the unique strict p-ring with residue ring k · Prove2Me