发现式微∪ω∪