Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama. Banach's Continuous Inverse Theorem and Closed Graph Theorem. Formalized Mathematics, 20(4):271-274, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.