omitting types theorem

美 [əˈmɪtɪŋ taɪps ˈθiːərəm]英 [əˈmɪtɪŋ taɪps ˈθɪərəm]
  • 网络型省略定理
omitting types theoremomitting types theorem