Description: n-dimensional rational numbers are dense in the space of n-dimensional real numbers, with respect to the n-dimensional standard topology. (Contributed by Glauco Siliprandi, 24-Dec-2020)
Ref | Expression | ||
---|---|---|---|
Hypotheses | qndenserrnbllem.i | |
|
qndenserrnbllem.n | |
||
qndenserrnbllem.x | |
||
qndenserrnbllem.d | |
||
qndenserrnbllem.e | |
||
Assertion | qndenserrnbllem | |