PanLinx
English
eng-000
resolution theorem
普通话
cmn-000
分解定理
English
eng-000
decomposition theorem
PanLex
