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!

convergentsequence"? $\endgroup$