Commit 2024-09-30 14:06 2db234e2

chore: Rename DenseEmbedding to IsDenseEmbedding (#17247) Function.Embedding is a type while Embedding is a proposition, and there are many other kinds of embeddings than topological embeddings. Hence this PR is a step towards

1. renaming Embedding to IsEmbedding and similarly for neighborhing declarations (which DenseEmbedding is)
2. namespacing it inside Topology Zulip. See #15993 for context.