ByNobleID
    A New Proof on Embedding the Category of Proximity Spaces into the Category of Nearness Spaces | NobleID