@article{oai:soar-ir.repo.nii.ac.jp:00018414, author = {Futa, Yuichi and Okazaki, Hiroyuki and Shidama, Yasunari}, issue = {1}, journal = {Formalized Mathematics}, month = {Mar}, note = {Article, Formalized Mathematics. 19(1): 61-64 (2011)}, pages = {61--64}, title = {Formalization of Integral Linear Space}, volume = {19}, year = {2011} }