Non-archimedean Eberlein-Šmulian theory. Kiyosawa, T.; Schikhof, W.H. — 1996 International Journal of Mathematics and Mathematical Sciences