The tensor product of p -adic Hilbert spaces | Synapse