@article{oai:soar-ir.repo.nii.ac.jp:00018388,
 author = {Yamazaki, Hiroshi and Okazaki, Hiroyuki and Nakasho, Kazuhisa and Shidama, Yasunari},
 issue = {3},
 journal = {Formalized Mathematics},
 month = {Oct},
 note = {Article, Formalized Mathematics. 21(3): 207-211 (2013)},
 pages = {207--211},
 title = {Isomorphisms of Direct Products of Cyclic Groups of Prime-power Order},
 volume = {21},
 year = {2013}
}