The Correspondence Between n -dimensional Euclidean Space and the Product of n Real Lines
Artur Korniłowicz (2010)
Formalized Mathematics
Similarity:
In the article we prove that a family of open n-hypercubes is a basis of n-dimensional Euclidean space. The equality of the space and the product of n real lines has been proven.