@article{oai:soar-ir.repo.nii.ac.jp:00018416,
 author = {Okazaki, Hiroyuki and Endou, Noboru and Shidama, Yasunari},
 issue = {1},
 journal = {Formalized Mathematics},
 month = {Mar},
 note = {Article, Formalized Mathematics. 19(1): 51-59 (2011)},
 pages = {51--59},
 title = {Cartesian Products of Family of Real Linear Spaces},
 volume = {19},
 year = {2011}
}