Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Summary.  continue Mizar formalization of general topology according to the book [11] by Engelking. In the article,  present the final theorem of Section 4.1. Namely, the paper includes the formalization of theorems on the correspondence beten the cardinalities of the basis and of some open subcover, and a discreet (closed) subspaces, and the ight of that metrizable topological
['Karol Pąk']
I am writing a research paper on a idea Basic Properties of Metrizable Topological Spaces
[{"from": "human", "value": "I am writing a research paper on a idea Basic Properties of Metrizable Topological Spaces"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Summary.  continue Mizar formalization of general topology according to the book [11] by Engelking. In the article,  present the final theorem of Section 4.1. Namely, the paper includes the formalization of theorems on the correspondence beten the cardinalities of the basis and of some open subcover, and a discreet (closed) subspaces, and the ight of that metrizable topological"}]