Compactness in Metric Spaces
Nakasho, Kazuhisa, Narita, Keiko, Shidama, Yasunari
Definition of Flat Poset and Existence Theorems for Recursive Call
Ishida, Kazuhisa, Shidama, Yasunari, Grabowski, Adam
The Lebesgue Monotone Convergence Theorem
Endou, Noboru, Narita, Keiko, Shidama, Yasunari