Ascoli-Arzelà Theorem
Yamazaki, Hiroshi, Miyajima, Keiichi, Shidama, Yasunari
Fatou's Lemma and the Lebesgue's Convergence Theorem
Endou, Noboru, Narita, Keiko, Shidama, Yasunari
Formalization of Integral Linear Space
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support
Kanazashi, Katuhiko, Endou, Noboru, Shidama, Yasunari
The Lebesgue Monotone Convergence Theorem
Endou, Noboru, Narita, Keiko, Shidama, Yasunari
The Basic Existence Theorem of Riemann-Stieltjes Integral
Nakasho, Kazuhisa, Narita, Keiko, Shidama, Yasunari
Egoroff's Theorem
Endou, Noboru, Shidama, Yasunari, Narita, Keiko
Finite Dimensional Real Normed Spaces are Proper Metric Spaces
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari
Contracting Mapping on Normed Linear Space
Miyajima, Keiichi, Korniłowicz, Artur, Shidama, Yasunari
Uniform Boundedness Principle
Sakurai, Hideki, Kunimune, Hisayoshi, Shidama, Yasunari
Higher Order Partial Differentiable Functions
Nakasho, Kazuhisa, Shidama, Yasunari
Preface
Grabowski, Adam, Shidama, Yasunari