Completed the proof for the extension by continuity in uniform spaces, including regularity of uniform spaces.
Completed the proof for the extension by continuity in uniform spaces, including regularity of uniform spaces.

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