@article{oai:soar-ir.repo.nii.ac.jp:00018395, author = {Kanazashi, Katuhiko and Okazaki, Hiroyuki and Shidama, Yasunari}, issue = {1}, journal = {Formalized Mathematics}, month = {Jan}, note = {Article, Formalized Mathematics. 21(1): 25-31 (2013)}, pages = {25--31}, title = {The C^k Space}, volume = {21}, year = {2013} }