Remark 10.7.1 ([Section I.1, SW99]).label The Hausdorff completion works in general with arbitrary valuated fields. Though the completion yields a TVS over the completion of the field, the field need not to be complete.
Remark 10.7.1 ([Section I.1, SW99]).label The Hausdorff completion works in general with arbitrary valuated fields. Though the completion yields a TVS over the completion of the field, the field need not to be complete.