Commit 2024-10-23 02:43 1deca17a

chore: Rename QuotientMap to IsQuotientMap (#18062) 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 QuotientMap is)
2. namespacing it inside Topology