@article{oai:soar-ir.repo.nii.ac.jp:00018394,
 author = {Okazaki, Hiroyuki and Yamazaki, Hiroshi and Shidama, Yasunari},
 issue = {1},
 journal = {Formalized Mathematics},
 month = {Jan},
 note = {Article, Formalized Mathematics. 21(1): 65-74 (2013)},
 pages = {65--74},
 title = {Isomorphisms of Direct Products of Finite Commutative Groups},
 volume = {21},
 year = {2013}
}