completeWithRespectTo

URI: https://gptkb.org/prop/completeWithRespectTo
2 triples
GPTKB property
Random triples
Subject Object
gptkb:p-adic_integers gptkb:p-adic_topology
gptkb:finite-dimensional_Hilbert_space norm induced by inner product