2024-03-29T15:39:41Z
https://soar-ir.repo.nii.ac.jp/oai
oai:soar-ir.repo.nii.ac.jp:00018401
2022-12-14T04:05:01Z
1221:1222
Isomorphisms of Direct Products of Finite Cyclic Groups
Arai, Kenichi
Okazaki, Hiroyuki
Shidama, Yasunari
Article
Formalized Mathematics. 20(4): 343-347 (2012)
journal article
De Gruyter Open
2012-12
application/pdf
Formalized Mathematics
4
20
343
347
1898-9934
https://soar-ir.repo.nii.ac.jp/record/18401/files/[Formalized Mathematics] Isomorphisms of Direct Products of Finite Cyclic Groups.pdf
eng
10.2478/v10037-012-0038-5
https://doi.org/10.2478/v10037-012-0038-5
© 2012 University of Białystok CC-BY-SA License ver. 3.0 or later