Journal: Formalized Mathematics

Volume 23, Issue 1

1 -- 14Marco Riccardi. Categorical Pullbacks
15 -- 27Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama. Definition and Properties of Direct Sum Decomposition of Groups1
29 -- 49Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Matrix of ℤ-module1
51 -- 57Noboru Endou, Kazuhisa Nakasho, Yasunari Shidama. σ-ring and σ-algebra of Sets1
59 -- 65Kazuhisa Nakasho, Noboru Endou. Separability of Real Normed Spaces and Its Basic Properties
67 -- 73Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama. Equivalent Expressions of Direct Sum Decomposition of Groups1