Commit 2024-10-29 14:36 33d49bb0

chore: Rename Inducing to IsInducing (#18330) 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 neighboring declarations (which Inducing is)
2. namespacing it inside Topology