Also known as minimization operator, unbounded search operator, mu operator
concept in computability theory
μ算子（英語：μ operator）或者极小化算子（minimization operator），无界查找算子（unbounded search operator）在可计算性理论中，被用來尋找给定性质下的最小自然数。
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).