On the Family of Theorems on Metric Completeness. Eur. J. Pure Appl. Math. [Internet]. 2024 Oct. 31 [cited 2025 Apr. 2];17(4):2370-83. Available from: https://www.ejpam.com/index.php/ejpam/article/view/5440