@article{oai:soar-ir.repo.nii.ac.jp:00018401, author = {Arai, Kenichi and Okazaki, Hiroyuki and Shidama, Yasunari}, issue = {4}, journal = {Formalized Mathematics}, month = {Dec}, note = {Article, Formalized Mathematics. 20(4): 343-347 (2012)}, pages = {343--347}, title = {Isomorphisms of Direct Products of Finite Cyclic Groups}, volume = {20}, year = {2012} }