n-Dimensional Real Normed Linear Spaces

Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama. n-Dimensional Real Normed Linear Spaces. Formalized Mathematics, 19(2):65-68, 2011. [doi]

Abstract

Abstract is missing.