ByNobleID
    Remarks on completeness of lattice-valued Cauchy spaces | NobleID