The Real Vector Spaces of Finite Sequences are Finite Dimensional
Nakamura, Yatsuka, Korniłowicz, Artur, Oya, Nagato, Shidama, Yasunari
Published in Formalized mathematics (01.01.2009)
Published in Formalized mathematics (01.01.2009)
Get full text
Journal Article