Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama. Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863. Formalized Mathematics, 29(3):117-127, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.