Is there any modern reference (book, textbook, monograph, etc.) that contains the following result of B. Efimov (On dyadic spaces // Dokl. Akad. Nauk SSSR 151 (1963) (Russian). English translation: Soviet Math. Dokl. 4 (1963), 1131-1134.):


Every non-isolated point of a dyadic space is the limit of a sequence of distinct points.


I don't have access to the article. Thank you very much!



Modern reference request concerning Efimov's "On dyadic spaces"
Here is the paper: <https://dl.dropboxusercontent.com/u/94324934/Maths/efimov.pdf/> 


I hope that it works.


