Proofs for further properties of the topology induced by an uniform structure.
Proofs for further properties of the topology induced by an uniform structure.

metamath/set.mm,metamath/set.mm,metamath/set.mm