@article{oai:soar-ir.repo.nii.ac.jp:00018404,
author = {Sakurai, Hideki and Okazaki, Hiroyuki and Shidama, Yasunari},
issue = {4},
journal = {Formalized Mathematics},
month = {Dec},
note = {Article, Formalized Mathematics. 20(4): 271-274 (2012)},
pages = {271--274},
title = {Banach's Continuous Inverse Theorem and Closed Graph Theorem},
volume = {20},
year = {2012}
}