The First Isomorphism Theorem and Other Properties of Rings
Korniłowicz, Artur, Schwarzweller, ChristophVolume:
22
Language:
english
Journal:
Formalized Mathematics
DOI:
10.2478/forma-2014-0029
Date:
January, 2014
File:
PDF, 277 KB
english, 2014